Useful Git branch commands

Rename branch

git branch -m old_branch new_branch

irk