merge queue: checking main (f9b23a3) and #11944 together#11946

Merged

mergify[bot] merged 2 commits into

mainfrom

mergify/merge-queue/31a07126fd

Jun 26, 2026

Commits on Jun 26, 2026

chore: sync Mergify JSON Schema files

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