change primary branch to "main"
josharian opened this issue · comments
Objections?
I was just thinking that earlier today. I suggest we delay until the current flurry of changes has landed, and do the rename in the quiet period.
Waiting a ~week sounds good.
This is done. Please use branch main going forward.
PSA, deleting the "master" branch auto-closed all PRs that were set to merge against master. I'm reopening them and repointing them to main.
... And by that I mean github won't let me reopen them. But they were both mine anyway, so I'll resend them against main.
PSA, deleting the "master" branch auto-closed all PRs that were set to merge against master. I'm reopening them and repointing them to main.
Blarg. Sorry about that.