https://www.ask-sheldon.com/rename-a-git-branch/