Categories
Merge Queue
Date
March 23, 2023
Mergify merge queue now offers a new section named partition_rules
. This new sections helps splitting merge queues in different independent partitions that can be processed in parallel. This is especially useful when using merge queues on top of monorepos.