On Feb 19, 2008 10:08 AM, Jeff King <peff@xxxxxxxx> wrote: > > In the first case we push "matching" refs: any head which already exists > on both sides. In the second case, we push all heads which exist on the > sending send, whether or not a matching ref already exists on the remote > side. I'd like to nominate you to rewrite all of the git documentation from scratch. :-) Your explanations are extremely clear. > > It seems like the default should be to push just the current branch > > ... this would correspond to what a user of git pull expects (even > > though the converse of git-push is really git-fetch, for a new user, > > that might not be entirely clear). > > I agree with you, but others do not Sounds like an opportunity for a config option. j. - 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
