Git - Rename pushed branches
where remote is usually: origin
Rename the local branch to the new name
git branch -m <old_name> <new_name>
Delete the old branch on remote - where is, for example, origin
git push <remote> --delete <old_name>
Prevent git from using the old name when pushing in the next step.
git branch --unset-upstream <new_name>
Push the new branch to remote
git push <remote> <new_name>
Reset the upstream branch for the new_name local branch
git push <remote> -u <new_name>
