On Nov 27, 2007, at 7:13 AM, Jakub Narebski wrote:
I thought that modern git refuses to push into checked out branch (in HEAD) in non-bare repositories.
It doesn't -- otherwise the "update the working copy when a push to the current branch comes in" update hook scripts that some of us use wouldn't work, and they do work at the moment. (Before anyone warns me of the dangers of that: the hook only runs in a shared repo that no human is allowed to modify, so the working copy is always a clean version of HEAD and thus is safe to update.)
-Steve - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
