You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I think it's time to propose that we consistently renamed all our master branches to main.
It's worth noting that not only is this more inclusive terminology, but TuringLang repos are pretty much the only place I still have to type master (it has been 4 years since GitHub changed the default), so we are a little bit of an outlier in this respect.
I understand that this causes breakage (the arguments for/against this have been, shall we say, exhaustively explored by other people!), but bigger projects than ours have done it and haven't died, so I think we could survive it :)
In the short term, it might be a bit tricky to get used to, but in the long term it'll be easier on us too. (This issue was prompted by me running git checkout main and getting an error for the N-th time 😅 and sometimes the other way round, running git checkout master on other repos and getting an error)
cc @TuringLang/maintainers
(Edited to sound less annoyed, sorry 😅)
The text was updated successfully, but these errors were encountered:
I think it's time to propose that we consistently renamed all our master branches to main.
It's worth noting that not only is this more inclusive terminology, but TuringLang repos are pretty much the only place I still have to type master (it has been 4 years since GitHub changed the default), so we are a little bit of an outlier in this respect.
I understand that this causes breakage (the arguments for/against this have been, shall we say, exhaustively explored by other people!), but bigger projects than ours have done it and haven't died, so I think we could survive it :)
In the short term, it might be a bit tricky to get used to, but in the long term it'll be easier on us too. (This issue was prompted by me running
git checkout main
and getting an error for the N-th time 😅 and sometimes the other way round, runninggit checkout master
on other repos and getting an error)cc @TuringLang/maintainers
(Edited to sound less annoyed, sorry 😅)
The text was updated successfully, but these errors were encountered: