Switch default branch to main

[torfason]

The new default branch on GitHub is now main and there are a number of good reasons to use that name. And now seems like a pretty good time to make the switch for the import repo.

[torfason]

This has been fixed, and the default branch is now main.

For freshly cloned repositories, the effect should be minimal. For any previously cloned repositories, the following commands can be run to get up to speed:

git branch -m master main
git fetch origin
git branch -u origin/main main
git remote set-head origin -a

[torfason]

The default branch has been main for a while now. Time to close this issue.