chore: sync Mergify JSON Schema files - #12603
Merged
mergify[bot] merged 1 commit intoAug 28, 2026
Merged
Mergify / Mergify Merge Queue
succeeded
Aug 28, 2026 in 5m 51s
Merged via merge queue
- ✅ Entered queue —
2026-08-28 18:54 UTC· Rule:automated updates· triggered by merge protections - ✅ Checks skipped · PR is already up-to-date
- ✅ Merged —
2026-08-28 18:59 UTC· at7bdc8a4c37bd6041c89ab503df2b88eaa9008e22· fast-forward
This pull request spent 5 minutes 42 seconds in the queue, including 2 seconds running CI.
Required conditions to merge
github-review-approved[🛡 GitHub repository ruleset ruleRequire pull request for default branch]- all of [🛡 Merge Protections rule
Enforce conventional commit]:title ~= ^(fix|feat|internal|docs|style|refactor|perf|test|build|ci|chore|revert|ui)(?:\(.+\))?!?:
- all of [🛡 Merge Protections rule
👀 Review Requirements]: - all of [🛡 Merge Protections rule
📕 PR description]:body ~= (?ms:.{48,})
- all of [🛡 Merge Protections rule
🔎 Reviews]: - all of [🛡 Merge Protections rule
🤖 Continuous Integration]:
Loading