repository - How do I rename both a Git local and remote branch name? - Stack Overflow
Fri Jun 02 2023 14:50:41 GMT+0000 (Coordinated Universal Time)
https://stackoverflow.com/questions/30590083/how-do-i-rename-both-a-git-local-and-remote-branch-name
Comments