This repository was archived by the owner on Dec 22, 2022. It is now read-only.
This repository was archived by the owner on Dec 22, 2022. It is now read-only.
Change master branch name to main #159
Description
Should we make this change to be consistent with the new naming scheme? It would involve some changes to the testing infrastructure, and all users with a clone would have to run a command to update the tracking branch.