Closed ejeschke closed 1 year ago
@pllim, you are more in touch with the CI integration than I am. I will need your help on this. Shall we take a stab at this for release 4.0 or wait for 4.1?
Should not be hard to do for v4.0. ~Two~ Three main things:
grep
for mentions of master
in this repo and change to main
.master
in your github.io
stuff, you need to change that too.master
to main
but only do this after GitHub change has happened.
Following the lead of many other projects, change the name of "master" branch to "main".