Migrate main branch name
MartinSpiessl opened this issue · 0 comments
MartinSpiessl commented
We should follow the new naming convention and rename the master branch into main. Afaik github has a good toolchain for doing this automatically.
MartinSpiessl opened this issue · 0 comments
We should follow the new naming convention and rename the master branch into main. Afaik github has a good toolchain for doing this automatically.