Update default branch on GitHub mirror
The default branch recently changed from master
to main
, but the GitHub mirror still has master
set as the default branch. This causes the web UI any clones to miss the latest changes, which is confusing.