https://deepumohan.com/tech/git-rename-a-git-branch/