change primary branch to "main"

Question

josharian opened this issue 4 years ago · 6 comments

Objections?

Answer 1 · 2020-12-24T23:56:47.000Z

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.

Answer 2 · 2020-12-25T00:21:38.000Z

Waiting a ~week sounds good.

Answer 3 · 2021-01-09T01:33:56.000Z

This is done. Please use branch main going forward.

Answer 4 · 2021-01-09T01:45:15.000Z

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.

Answer 5 · 2021-01-09T01:46:12.000Z

... 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.

Answer 6 · 2021-01-09T01:46:55.000Z

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.