Open
Description
"main" is for some time the default name for the central branch in the git(hub) universe.
See e.g., https://github.com/github/renaming or https://sfconservancy.org/news/2020/jun/23/gitbranchname/ for more background
Should we also follow it and rename our master branch as well?
Activity