remote.<name>.merge missing from the git-config man page?
- From
- Fabien Terrani <terranifabien@gmail.com>
- Date
- Mar 8, 2021, 12:10 UTC
- Message-ID
- <CAOuwed4HJLTgk48Fre5vGYjYanqD6hu8yZM73CpcAmF1ajiTnA@mail.gmail.com>
Hi all,
I was recently trying to understand the git-push command's behavior, especially regarding the configuration values's resolution. I read the following in the EXAMPLES section of the git-push man page:
> git push origin > Without additional configuration, pushes the current branch to the configured upstream (remote.origin.merge configuration variable) if it has the same name as the current branch, and errors out without pushing otherwise.
I then had a look at the git-config man page and I was surprised to notice that there was no documentation at all about a remote.<name>.merge or remote.origin.merge configuration value. I am definitely not a git expert but this looks strange to me. Am I missing something? Is remote.<name>.merge used by git at all?
(before mailing here, I tried carefully examining git's source code to see if there was a remote.<name>.merge value used somewhere. I can't be 100% positive since this was very complex to me, but I personally couldn't find anything referencing remote.<name>.merge, while I found code using other values like remote.<name>.push, push.default etc.)
Best regards