Rename main branch from `master` to `main`
janpio opened this issue · comments
Needs checking if some of the tooling might depend on the branch name to work.
We already added the main branch and made it the main one here, but kept master around if anything relies on that old branch name.
We should remove it when we know that master is not needed any more.