Renaming master to main
Moving ahead with team#5 (closed), I'll be renaming this repo's master branch to main at around 17:30 UTC on November 11, 2021. I'll be around all day after renaming it, just in case something breaks.
Moving ahead with team#5 (closed), I'll be renaming this repo's master branch to main at around 17:30 UTC on November 11, 2021. I'll be around all day after renaming it, just in case something breaks.