merge queue: embarking main (8a07bed) and #10391 together#10392

Merged

2 commits merged intomainfrom

mergify/merge-queue/ebebe2a230

Mar 2, 2026

Commits on Mar 2, 2026

chore: sync Mergify JSON Schema files

mergify-ci-bot
authored and
github-actions[bot]
committed
Merge of #10391
mergify[bot]
authored