Hopefully this will fix 'git push' on some PRs

[ewels]

Not sure if this will work or not, but worth a try.

Based on testing with PR #1094

Doing git push there fails because the PR comes from a fork branch master which is the same as the target. So, GitHub and hub create a different branch name for working locally. Then, when you try to push that, it doesn't match the remote and you get this error:

fatal: The upstream branch of your current branch does not match
the name of your current branch.  To push to the upstream branch
on the remote, use
    git push [email protected]:lescai/nf-co.re.git HEAD:master
To push to the branch of the same name on the remote, use
    git push [email protected]:lescai/nf-co.re.git HEAD
To choose either option permanently, see push.default in 'git help config'.
Error: Process completed with exit code 128.

According to this old comment, the changes in this PR should hopefully get git push to work again 🤞🏻

[ewels]

I'd quite like to test this before bed. Currently failing on master so should be low risk to self-merge 👀