merge queue: embarking main (52c379f) and #9940 together#9941

Merged

2 commits merged intomainfrom

mergify/merge-queue/62fba9ddd5

Jan 16, 2026

Commits on Jan 16, 2026

chore: sync Mergify JSON Schema files

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