Migrate name of master branch to 'main' #891
Labels
area: infrastructure
Project infrastructure
high priority
should be done as soon as possible
in progress
Milestone
This process is being pursued over Zulip repositories in general; see #general>master-slave term on chat.zulip.org, ie.
https://chat.zulip.org/#narrow/stream/2-general/topic/master-slave.20term
GitHub docs:
https://github.com/github/renaming
The text was updated successfully, but these errors were encountered: