Steven Grimm <koreth@xxxxxxxxxxxxx> writes: > Well, actually, I would still like opinions on one thing: What do > people think of having git-push do a fetch if the remote side changes > a ref to point to a revision that doesn't exist locally? I do not like it at all. git-push is about pushing what you did to the other end; you may or may not want to refetch what other people immediately on top of what you did, and this includes what the hook script did in the repository you have pushed into. If you want an immediate refetch, you can script it so that you call push and then fetch; the latter needs to be a separate connection to a different service anyway. - 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
