merge queue: checking #12764 on main (c20b99c), stacked on #12769 - #12786
Closed
mergify[bot] wants to merge 4 commits into
Closed
mergify[bot] wants to merge 4 commits into
mergify[bot] wants to merge 4 commits into
Mergify / Configuration changed
succeeded
Sep 11, 2026 in 0s
The new Mergify configuration is valid
This new configuration will be used for the next pull requests once it is merged.
Loading