agriffard opened this issue 4 years ago · 1 comments
Rename the master branch into main as it is now the default on GitHub.
Change it also in the CI,
Master is a common name