Have you guys considered migrating from `master` to `main`? See [here](https://github.com/github/renaming) for the motivation.