[thephotonsphere]

Rename main → master:

git branch -m main master git push -u origin master git push origin --delete main

[selectnull]

Instead of that, put this in .gitconfig:

[init]

    defaultBranch = master