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
