merge queue: embarking main (3c3c921) and #10264 together#10278

Merged

2 commits merged intomainfrom

mergify/merge-queue/4e62de24bd

Feb 19, 2026

Commits on Feb 19, 2026

chore: sync Mergify JSON Schema files

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