I made a branch meant to be experimental and alternative to master so did
git branch M
after it's been worked, it turns out to be better, so did swap:
1 2
git branch -m master old
git branch -m M master
but when ready, did push, suddenly
1 2 3 4 5 6
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 origin HEAD:M
...
It didn't get synchronized into remote git.
How's the correct one, will anyone point out the important missing/subtle step ?