Rename the current default branch "master" to "main"

[Lukas2112]

see: https://www.zdnet.com/article/github-to-replace-master-with-alternative-term-to-avoid-slavery-references/

[rixx]

Huh, I would have thought that you have sufficient access to do this (or at least to prepare the move).

[Lukas2112]

I had the access to do this, but I did not want to take this step without consulting you first, @rixx

[rixx]

You have write access to the repo for a reason – I trust you to use it well ;)

[Lukas2112]

Okay, thanks.