Git: How to rename a branch

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