The master branch can be easily renamed, and many (all?) references are redirected by GitHub from the old name to the new when renaming a branch. For example, if someone installs this repo from the master branch via https://github.com/jupyterhub/batchspawner/archive/master.zip, it will still work after the rename.
[x] A search in this repo didnd't reveal references to master
For your local git repositories, you can do these steps are provided by github's web-based hint following the rename.
# rename your local master to main
git branch -m master main
# get the latest stuff from this repo
git fetch origin
# let the main branch track origin/main
git branch -u origin/main main
# I can't explain this...
git remote set-head origin -a
The master branch can be easily renamed, and many (all?) references are redirected by GitHub from the old name to the new when renaming a branch. For example, if someone installs this repo from the master branch via https://github.com/jupyterhub/batchspawner/archive/master.zip, it will still work after the rename.
master
For your local git repositories, you can do these steps are provided by github's web-based hint following the rename.