Rename default branch to 'main'
I would like to rename the current default master
branch to main
to match industry standard (and most of the other projects I work with).
@adam-mercer, please let me know if you object.
Maintenance will be performed on git.ligo.org, containers.ligo.org, and docs.ligo.org on Tuesday 14 May 2024 starting at approximately 9am PDT. It is expected to take around twenty minutes and there will be several periods of downtime throughout the maintenance. Please address any comments, concerns, or questions to the helpdesk.
I would like to rename the current default master
branch to main
to match industry standard (and most of the other projects I work with).
@adam-mercer, please let me know if you object.