chore: sync Mergify JSON Schema files - #12637
Merged
mergify[bot] merged 1 commit intoSep 1, 2026
Merged
Mergify / Mergify Merge Queue
succeeded
Sep 1, 2026 in 7m 0s
Merged via merge queue
- ✅ Entered queue —
2026-09-01 08:24 UTC· Rule:automated updates· triggered by merge protections - ✅ Checks skipped · PR is already up-to-date
- ✅ Merged —
2026-09-01 08:30 UTC· at3a103267ba932e5b97e367dab16c5a379945b20f· fast-forward
This pull request spent 6 minutes 18 seconds in the queue, including 6 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