Finish renaming master branch to main

[chancancode]

• [x] Click the button
• [x] Merge this branch
• [ ] Update local .gitconfig (but GH aliases the branches on the backend anyway)

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