Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

MAINTAINERS-GUIDE: remove minimum merge wait time requirement #11391

Merged
merged 2 commits into from
Nov 5, 2023

Conversation

kbdharun
Copy link
Member

@kbdharun kbdharun commented Nov 5, 2023

Changes

  • Removes the 24-hour minimum merge time requirement for non-trivial PRs to be open.

This requirement was made initially when we had a couple of active maintainers only and didn't have things like Codeowners to review translation PRs. So as the project grows with multiple active maintainers I don't think we need this rule anymore, given that we have merged a significant portion of our PRs within 24 hours in the last year for even non-trivial additions/modifications.

@github-actions github-actions bot added the documentation Issues/PRs modifying the documentation. label Nov 5, 2023
@kbdharun kbdharun changed the title MAINTAINERS Guide: remove minimum merge wait time requirement maintainers- guide: remove minimum merge wait time requirement Nov 5, 2023
@kbdharun kbdharun changed the title maintainers- guide: remove minimum merge wait time requirement MAINTAINERS-GUIDE: remove minimum merge wait time requirement Nov 5, 2023
@kbdharun kbdharun mentioned this pull request Nov 5, 2023
70 tasks
Copy link
Member

@gutjuri gutjuri left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good idea, the lived practice is definately different from what the maintainers guide describes

@sebastiaanspeck sebastiaanspeck merged commit 9e0d38e into main Nov 5, 2023
8 checks passed
@sebastiaanspeck sebastiaanspeck deleted the kbdharun-patch-1 branch November 5, 2023 20:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Issues/PRs modifying the documentation.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants