Hello GR Users and Developers! The master branch has now been renamed to "main" to be more in line with the github defaults and the direction that so many other projects have moved.
All active PRs have been retargeted to main, and the master branch still exists for compatibility reasons (but will receive no updates). All new PRs should be opened against 'main' On your local repository (github will give instructions as well), you just need to do the following (assuming your remote is named "origin"): $ git branch -m master main $ git fetch origin $ git branch -u origin/main main $ git remote set-head origin -a Sorry for any inconvenience this change causes, but it should make things more consistent down the line as more projects have a `main` branch, and now is as good a time as any to make this change. Thanks! Josh
