Re: git push [rejected] question

From: Jay Soffian <jaysoffian@gmail.com>
Date: Feb 19, 2008, 15:18 UTC
Message-ID: <76718490802190718t5e70abb2x8f96fc7154576594@mail.gmail.com>
In-Reply-To: <20080219150826.GA24499@sigill.intra.peff.net>

On Feb 19, 2008 10:08 AM, Jeff King <peff@peff.net> wrote:

Show 5 quoted lines

>
> 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.

Show 6 quoted lines

> > 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.