Fortunately, as far as I understand it, GitHub allows you to change the branch names; "main" is just the default setting.
Reply on news.ycombinator.com