Default branch updated

[Manuel Mendez]

We've updated the default branch of every repository to now be main. Existing pulls and links should all still work, but please update your git refs. GitHub has the following tip:

git branch -m master main

git fetch origin

git branch -u origin/main main

git remote set-head origin -a

Thank,

Manny