-
Rename the local branch
If on local branch: git branch -m new name
If on a different branch: git branch -m old name new name -
Delete the old-name remote branch and push the new-name local branch
git push origin : old name new name -
Reset the upstream branch for the new-name local branch
Switch to the branch then:
git push origin -u new name
Thanks to https://multiplestates.wordpress.com/2015/02/05/rename-a-local-and-remote-branch-in-git/