`master` vs `main` default branch

[gerbrent]

I noticed this repo uses master as the nomenclature for the default production branch, vs our other repos' main

figure we should standardize on one..
thoughts? Easy switch?

[elreydetoda]

should be a relatively easy switch, we'll just have to modify these lines to point to main:

• infra/.github/workflows/auto-plan.yml

  Line 9 in bed5691

  branches: [ master ]

• infra/.github/workflows/auto-plan.yml

  Line 121 in bed5691

  if: github.ref == 'refs/heads/master' && github.event_name == 'push'

(from the automation perspective)