git: Branch umbenennen

git branch -m old_branch new_branch   
git push origin :old_branch
git push --set-upstream origin new_branch