Change name of main branch

[ndmlny-qs]

@aloctavodia and @yilinxia I'd like to change the main branch name to main. If there are no objections, then I'll make the change.

[yilinxia]

Thank you Andy for the suggestion! I dont mind at all :)

[aloctavodia]

Good idea!

[ndmlny-qs]

@aloctavodia you will need to change the current default branch to the newly created main branch. You can do so by following step 4 and 5 on this site

https://stevenmortimer.com/5-steps-to-change-github-default-branch-from-master-to-main/

I would do it, but I don't have those privileges. Thanks for the change.

[OriolAbril]

github has a rename branch feature, I can use that too if you don't mind

[ndmlny-qs]

sure, I didn't realize it had that feature. That's super

[OriolAbril]

Done, now I see this message:

with commands:

git branch -m master main
git fetch origin
git branch -u origin/main main
git remote set-head origin -a

I assume you will see the same message but posting anyway just in case.

[ndmlny-qs]

Awesome, thanks again everyone.

Closing the issue, but it will still be around if anyone needs to reference it.