Closed martinRenou closed 2 years ago
There is a master branch on this repo still after the migration to main, I would suggest removing it?
master
main
Yes - this must be a mistake. I will delete it
Done!
There is a
master
branch on this repo still after the migration tomain
, I would suggest removing it?