Request to switch from the primary branch be main from master, which is suggested for improving inclusion. See https://github.com/github/renaming for links to discussion around why as well as info on how best to do it on GH.

Renaming master ➔ main is done

Please run this locally:

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