Closed slifty closed 3 years ago
There's a very appropriate push to move away from master terminology, and replace the default branch name to main.
master
main
Apparently github is exploring this as part of their platform. I imagine we'll have to do something ourselves to make this happen, but we should spend the 30 minutes or whatever to make that real.
I think short-term-holding-formation while we wait for Github is reasonable, but we should aim to make the shift in the next week or two regardless.
Just an update on this that GitHub still recommends waiting until later this year.
This has been done! That was easy :D
There's a very appropriate push to move away from
master
terminology, and replace the default branch name tomain
.Apparently github is exploring this as part of their platform. I imagine we'll have to do something ourselves to make this happen, but we should spend the 30 minutes or whatever to make that real.
I think short-term-holding-formation while we wait for Github is reasonable, but we should aim to make the shift in the next week or two regardless.