Closed sugaroverflow closed 3 years ago
Bumping for visibility. GitHub makes changing branch name to main
super easy! There are only a couple of coordinating things to handle:
CI was broken anyway so seemed like a fine time to do this!
I've done it :D
CI is, of course, still broken.
let's change our default branch to
main
ordefault
possible solution: https://gist.github.com/PurpleBooth/6983e5c4def4f8721d4a697a3f4606a7#file-change-github-default-branch-sh