Renaming of the default `master` #git branch to `main` has finally started... with adaptations of CI/CD, documentation, etc... These are many dozens of repositories which have to be modified. Hopefully we will be over before new year! #FOSS #WokeAndProud