Suggestion: call the default branch of the repo "main" #2222
Description
There are tools in Settings to make this change. (This requires an owner of the repo to do changes.)
If there are any CI or deployment changes we need to make after this change, we make them.