Categories
Merge Queue
Date
June 30, 2025
The priorities that were implied by the order of definition of your queue rules is no more. Only priority_rules are now applied to determine the order in which the pull request will be tested and merged in the queue.