On Sun, Nov 05, 2006 at 01:31:54PM -0800, Junio C Hamano wrote: > post-update hook rewinds the tip we just pushed, it is the same > thing as in the case where the post-update hook did not do > anything but somebody else, a human user, did the equivalent > rewinding of the branch, and the pretended fetch happened Yes, I think this is a sensible way of looking at it. I withdraw my question. :) -Peff - 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