Renaming master branch

[perpetualKid]

Pending to finish some current work in progress, we'll plan and prepare to rename the Master branch into Main.

Some more background here: https://github.com/github/renaming

This shouldn't cause much trouble, but will need some minor adoption in the CI backend.

[perpetualKid]

master is now named main

If you have a local clone, you can update it by running:

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

[perpetualKid]

yet another change to the repo, "development" is now the default branch. Main will be used for releases, but all ongoing work and merge requests (PRs) should target development.