On Tue, 27 Nov 2007, Steven Grimm wrote: > 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.) It could require the working copy to be a clean version of HEAD, and, in this case, update it. Then it would always be kept consistent one way or the other, without consistency depending on the use of a hook. (This is like how a pre-refs/remotes/ pull into a checked-out origin was handled, and it seemed reliable there) -Daniel *This .sig left intentionally blank* - 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
