changing the default branch name

[iacore]

What do you think of changing the default branch name of this project to main? You can also set it globally, I think.

[david-vanderson]

Good idea - I have done so on github. When I did, it offered the following recipe for how to change it locally for each person:
git branch -m master main
git fetch origin
git branch -u origin/main main
git remote set-head origin -a

[iacore]

I had to also do

git config remote.origin.fetch "+refs/heads/*:refs/remotes/origin/*"

since I made a shallow clone at first.