How do you rename a branch locally and remotely?

Rename locally with git branch -m old new, push the new name, then remove the old remote branch with git push origin --delete old.