rename main branch to main; not use master anymore

[jdittrich]

As a 'master' branch connotes the existence of a 'slave' branch¹ we could change the name of the main branch to… main². This itself is very easy, but since deployment of our blog or other infrastructure might hinge on the branch name, I rather create this issue first.

¹ which git itself did never have, but, afaic, the system git was modeled on, did ² I guess, "main branch" also describes rather well what that branch does.

[RDIL]

True, but does GitHub pages support this yet? That is a must have, and it would require script/documentation updates.

[SaptakS]

I think @jancborchardt is also looking into making the necessary changes related to making the default branch from "master" to "main"

[jdittrich]

Do we have a list of what needs to be done, somewhere? It would be helpful anyway to know what all depends on how the main branch is named.

[RDIL]

I'm not sure, it might just be changing it in the settings menu.

[AnXh3L0]

I have created a new "main" branch derived from the current master branch which is going to be the default one (after we introduce the new redesign of the website).