Closed lindnemi closed 4 months ago
Good idea! Just need to write some instructions if everyone has to do something on their local machines.
git branch -m master main
git fetch origin
git branch -u origin/main main
git remote set-head origin -a
This should do the trick on your local machine
Might be worth considering: https://github.com/github/renaming