https://mario.raval.li/posts/git-rename-branch/