Renaming default branch from 'master' to 'main'

[raxod502]

Following https://github.com/github/renaming, I've renamed the default branch on CTRLF from master to main. You can update your local copy following these instructions:

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

Let me know if this change causes any disruption and I can see what I can do to mitigate!