Nice and straightforward. Locally:
git branch -m master main
git push -u origin main
Then on the server:
git branch -m master main
git branch -u origin/main
On github.com, go into the repo’s settings and update the default branch.
Thanks for this, Scott!
P.S. Don’t read the comments.
We generally think about language as a THING: letters, sounds, signs. But little bits of silence or invisibility are found surprisingly often in language.
Episode 23 of Lingthusiasm, the podcast that's enthusiastic about linguistics, is a tour through the various kinds of linguistic nothings 🎧💚🕳️
Listen here or on your favourite podcast app https://soundcloud.com/lingthusiasm/23-when-nothing-means-something