I just renamed my local branch using
git branch -m oldname newname
but this only renames the local version of the branch. How can I rename
git push origin head
git branch -m old-branch-name new-branch-name