ref(mergify): use the new configuration format and keys #9018
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Motivation
We tried using GitHub Merge queue without success, as this would have limited our actual automations, the use of multiple queues, and other flexibilities that Mergify gives us.
Additionally, Mergify already supports the Rulesets, allowing us to continue using their engine without having to change our actual GitHub configuration
Specifications & References
Solution
pull_request_rules
to the newpriority_rules
defaults
forpull_request_rules
andqueue_rules
priority
of high, medium and low, as required.Tests
Follow-up Work
PR Author's Checklist
PR Reviewer's Checklist