Re: remote.<name>.merge missing from the git-config man page?

From: Taylor Blau <me@ttaylorr.com>
Date: Mar 8, 2021, 20:28 UTC
Message-ID: <YEaI5JIobsbtBQO1@nand.local>
In-Reply-To: <87pn092yja.fsf@igel.home>

On Mon, Mar 08, 2021 at 09:14:33PM +0100, Andreas Schwab wrote:

Show 17 quoted lines

> On Mär 08 2021, Taylor Blau wrote:
>
> > diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt
> > index ab103c82cf..a953c7c387 100644
> > --- a/Documentation/git-push.txt
> > +++ b/Documentation/git-push.txt
> > @@ -600,7 +600,7 @@ EXAMPLES
> >
> >  `git push origin`::
> >  	Without additional configuration, pushes the current branch to
> > -	the configured upstream (`remote.origin.merge` configuration
> > +	the configured upstream (`branch.<name>.merge` configuration
> >  	variable) if it has the same name as the current branch, and
> >  	errors out without pushing otherwise.
>
> That doesn't say what <name> is.  Is that supposed to be <branch>?
> Also, what is "it" referring to in "if it has the same name"?

<name> refers to the currently-checked-out branch's local name. (That's how it's used in Documentation/config/branch.txt).

The antecedent is "the current branch", so I think that this one may already be quite clear if you read past the parenthesis.

Thanks, Taylor