Changed master branch to main

[jonsterling]

Dear colleagues,

I have changed the master branch of the cooltt repository to be called main. It's high time for this change to role out across our ecosystem, as many have earnestly expressed the offensive character of the term master as used in version control. Reality makes words, not the other way around; nonetheless we must acknowledge the way that the words we casually use can reinforce the superstructural aspects of this evil system of imperial domination that we presently live and work within.

To update your local environments, you can run the following commands in your cooltt working directory.

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

Alternatively you may simply reclone the repository to set up a fresh environment. I hope this causes only minimal inconvenience!

Thanks,
Jon

[jonsterling]

Oh, and if you want to change the behavior of git init on your machine accordingly, you can run the following command (courtesy of @favonia):

git config --global init.defaultBranch main

[RobertHarper]

oh gawd yes, thank you. (c) Robert Harper.  All Rights Reserved.

…

On Jun 8, 2021, 18:12 -0400, Jonathan Sterling ***@***.***>, wrote: Oh, and if you want to change the behavior of git init on your machine accordingly, you can run the following command (curtesy of @favonia): git config --global init.defaultBranch main — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub, or unsubscribe.