ginga
ginga copied to clipboard
Rename ORIGIN branch name
Following the lead of many other projects, change the name of "master" branch to "main".
@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 ofmaster
in this repo and change tomain
. - If you mention
master
in yourgithub.io
stuff, you need to change that too. - Go into RTD admin and change the default branch from
master
tomain
but only do this after GitHub change has happened.