Change default branch name

[wicksipedia]

Given that this project is being developed in public domain.

Change the default branch from:
master

To:
main

Steps to implement have been documented at https://www.hanselman.com/blog/EasilyRenameYourGitDefaultBranchFromMasterToMain.aspx