Categories
Merge Queue
Date
January 6, 2023
Pull request added to a queue can now see their priority set via the new priority_rules attribute in the queue_rules definitions.
queue - Mergify documentation
The queue action moves the pull request into one of the merge queue defined in Queue Rules . Merge queues prevent merging broken pull requests by serializing their merge. Merging broken pull requests can happen when outdated pull requests are being merged in their base branch.
docs.mergify.com