Set the default branch name in settings.

To change the default branch of a repo, [see github docs](https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/managing-branches-in-your-repository/changing-the-default-branch):
* rename it here: ![]{cs}(RenameBranch.png)