Closed nlharris closed 10 months ago
Should I mark it draft?
Good question. Normally, draft status of a PR signals that it's not ready for review and comments yet, which I think is rather not what we'd mean here. We did at some point devise the label "Public Board meeting approval", which I've attached to this PR now. Of course, a label doesn't prevent anyone from accidentally merging prematurely, it's mostly just serves as a reminder.
Note that this PR should be approved and merged at the next public Board meeting. (Should I mark it draft?)