parse_git_dirty

Rename a remote branch.

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.