https://dotnetcopilot.com/renaming-git-branch/