-
Notifications
You must be signed in to change notification settings - Fork 38
Closed
Labels
Milestone
Description
At today's WG meeting, one of the topics discussed was the approach to merging PRs. Right now, only one approval is required before merging.
In some cases, such as editorial changes, this may be fine. However, many PRs would benefit from a broader review. Due to time constraints, this sometimes leads to PRs being merged before more participants have had a chance to review them.
Given the discussion we had, I would take some time to think about this, but here are possible approaches, in my personal order of preference:
- Decide to not merge non-editorial issues for at least 3 (working) days to give people the opportunity to review
- or explicitly state that they need more time
- Use PR templates to keep track of status (incl. checklist)
- Require that PRs are not merged until they have been discussed at the next WG meeting.
- Use tools like
CODEOWNERS
(see Workflow request - Please let PRs slated for discussion remain in "Draft" status #313) - imho this would help a bit, but not with the time aspect
I would like to not spent much more meeting time on this, and ideally to have a decision ready to announce at the next meeting. Until then, feedback and suggestions are welcome!