Change branch name from "master" to "main"

[MaikNog]

Hi,
as a small contribution, maybe the naming could be changed.

https://www.hanselman.com/blog/EasilyRenameYourGitDefaultBranchFromMasterToMain.aspx

TL;DR:
"git branch -m master main"
"git push -u origin main"

[ckenst]

@MaikNog ohhh, interesting. I'll take a look at doing this.

[MaikNog]

Any update on this @ckenst ? :-)

[ckenst]

No update.

[ckenst]

Coming back around to this, I found these instructions to be much easier to understand and follow: https://www.git-tower.com/learn/git/faq/git-rename-master-to-main/. Might do this in the near future. GitHub also makes it very simple to make this change.

[ckenst]

Outside of updating our local branches, I think we'd need to update CircleCI. That should be pretty easy.

[ckenst]

This has been done in #797 but needs to be merged.

[ckenst]

This is now done.