Main branch renamed in COGA repository

The name of the main branch in the COGA GitHub repository has been 
changed to "main". Most things will automagically update. If you have a 
clone of the repository, you should run the following commands to update 
your clone:

git branch -m master main
git fetch origin
git branch -u origin/main main

Michael