If you’ve migrated the default branch of your git repository from master to main, please delete the master branch and ensure that the main branch is set as the default in your git remote host (e.g., GitHub, etc.) so people don’t accidentally base their contributions on the master branch.
If you do a git branch --move, you won’t have the above issue.
@aral my team at GitHub also just pushed out default branch renaming. You can perform these changes on GitHub and we will walk contributors through updating their clone’s default branch. Also we will handle redirects for old URLs that point to your old branch name.