I created a branch that had the wrong ticket number and already pushed it to the repo, so I needed rename it and keep everything intact. Here’s how:
git branch -m old_branch new_branch # Rename branch locally
git push origin :old_branch # Delete the old branch
git push –set-upstream origin new_branch # Push the new branch, set local branch to track the new remote
Ref: https://gist.github.com/lttlrck/9628955.