Git
Branching
Renaming a Git branch both locally and on the remote host.
Rename branch locally
git branch -m old_branch new_branch
Delete the old branch from the remote
git push origin :old_branch
Push the new branch to the remote
git push -u origin new_branch