Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci: added priority rules to mergify configuration (#10272)
## Description Mergify has recently added priority rules feature to mergify configuration This allows us to define priority rules of each item in our merge queue, independent of the the priority of the queue What this means for us is that we can remove all the separate high priority queues and simplify our configuration Also created a [PR in Agoric/mergify-experiments](Agoric/mergify-experiements#25) that the updates made here ### Testing This configuration has been tested out on [frazarshad/mergify-experiments ](https://github.com/frazarshad/mergify-experiements) ![image](https://github.com/user-attachments/assets/3a88ec98-62ce-4373-9954-36dc99746017) Similarly I also tested that the queues don't have any priority base on their order in the configuration and don't preempt each other ![image](https://github.com/user-attachments/assets/5332df09-973e-497b-b44f-8e918444b2f4)
- Loading branch information