When we're at a good place to change our repos, we should rename the "master" branch to "main". See: https://github.com/github/renaming