main

Now that GitHub supports transparent redirection, I renamed all the remaining repositories master branches to main.

If you have a local git clone, run:

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

← Cleaning up the old cruft to align on the future | A new start →