Renamed main branch from 'main' to 'master'

[markjfine]

If you have a local clone, you will need to run:
git branch -m main master
git fetch origin
git branch -u origin/master master
git remote set-head origin -a