You can also do `git push -u origin HEAD` but agreed, the config option is even easier, and then uses the same procedure regardless if it is a newly created bra

You can also do `git push -u origin HEAD` but agreed, the config option is even easier, and then uses the same procedure regardless if it is a newly created branch or not. Not really sure why the default is like this, I can probably count on zero hands the number of times I’ve wanted a different branch name on the local and remote. Neat that it’s possible I suppose, but surely that’s not the primary use case that people have.