Rename master branch to main #560
Labels
low priority
Issue is not of immediate concern.
management
management related things, e.g. github actions
Projects
Not high priority but good to eventually keep up-to-date with the overall GitHub change.
Note that GitHub actions will also need updating in this process.
The text was updated successfully, but these errors were encountered: