See https://github.com/github/renaming, https://about.gitlab.com/blog/2021/03/10/new-git-default-branch-name/.