git: how to rename a branch (local and remote)
Rename local branch
To rename a local branch, use git branch -m:
# `-m` means `--move`, so we can also do `git branch --move ...`
git branch -m old-branch-name new-branch-name
Rename remote branch
Remote branches are more complicated, we need to delete the old branch and create a new one:
# delete the remote branch with old name
git push origin :old-branch-name
# create a new remote branch
git push origin new-branch-name