Skip to content

Conversation

derekhiggins
Copy link
Collaborator

Allows Mergify to auto-merge PRs even when there are pending review requests, as long as the minimum approval threshold is met and no changes are requested.

This prevents situations where PRs with sufficient approvals get blocked because some requested reviewers haven't responded yet.

…king

This change allows Mergify to auto-merge PRs even when there are pending
review requests, as long as the minimum approval threshold is met and no
changes are requested.

This prevents situations where PRs with sufficient approvals get blocked
because some requested reviewers haven't responded yet.

Signed-off-by: Derek Higgins <[email protected]>
@mergify
Copy link

mergify bot commented Sep 17, 2025

Merge Protections

Your pull request matches the following merge protections and will not be merged until they are valid.

🟢 📃 Configuration Change Requirements

Wonderful, this rule succeeded.

Mergify configuration change

  • check-success = Configuration changed

@derekhiggins derekhiggins marked this pull request as draft September 17, 2025 13:24
@derekhiggins
Copy link
Collaborator Author

Marked as draft while discussions are ongoing

@nathan-weinberg
Copy link
Collaborator

I'm in favor of this, if we can do a 2-approval minimum.

@derekhiggins
Copy link
Collaborator Author

@nathan-weinberg an alternative (I think I prefer) would be to remove code-owners all together so users don't get auto added as reviewers. Then if anybody should review then they can be manually added.

@leseb
Copy link
Collaborator

leseb commented Sep 17, 2025

@nathan-weinberg an alternative (I think I prefer) would be to remove code-owners all together so users don't get auto added as reviewers. Then if anybody should review then they can be manually added.

YES YES YES.

@nathan-weinberg
Copy link
Collaborator

@nathan-weinberg an alternative (I think I prefer) would be to remove code-owners all together so users don't get auto added as reviewers. Then if anybody should review then they can be manually added.

YES YES YES.

Let's please use GitHub Teams or some other mechanism then so if we want groups of people looking at things (Dev, QE, Docs, etc) we can add them more easily

@derekhiggins
Copy link
Collaborator Author

Let's please use GitHub Teams or some other mechanism then so if we want groups of people looking at things (Dev, QE, Docs, etc) we can add them more easily

hmm, I'm not sure if we can do this, they would need to be setup at the org level (I think), or is there somewhere they can be setup in the repo?

@nathan-weinberg
Copy link
Collaborator

Let's please use GitHub Teams or some other mechanism then so if we want groups of people looking at things (Dev, QE, Docs, etc) we can add them more easily

hmm, I'm not sure if we can do this, they would need to be setup at the org level (I think), or is there somewhere they can be setup in the repo?

Alas I think you are right - I'd be happy to do this if I can get the permissions, otherwise we may need to indeed cut down on the codeowners and do manual additions of individuals

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants