After this is approved, I will rename the master branch in the GitHub repository settings and then merge this PR at the same time so that the Actions all keep working. Anyone with a local checkout will need to run:
git branch -m master main
git fetch origin
git branch -u origin/main main
GitHub will also prompt you to run this the first time you visit the repo page after the rename.
After this is approved, I will rename the master branch in the GitHub repository settings and then merge this PR at the same time so that the Actions all keep working. Anyone with a local checkout will need to run:
GitHub will also prompt you to run this the first time you visit the repo page after the rename.