https://techtalkbook.com/git-rename-branch/
Git rename branch