git branch -m <oldname> <newname> # Rename the branch in your local repository.
git push <remote> :<oldname>      # Remove the branch name you want to change on the remote.
git push <remote> <newname>       # Push the new local branch name to the remote.