Skip to content

chore: sync Mergify JSON Schema files#11611

Merged
mergify[bot] merged 1 commit into
Mergifyio:mainfrom
mergify-ci-bot:json-schema-types-sync
May 20, 2026
Merged

chore: sync Mergify JSON Schema files#11611
mergify[bot] merged 1 commit into
Mergifyio:mainfrom
mergify-ci-bot:json-schema-types-sync

Conversation

@mergify-ci-bot
Copy link
Copy Markdown
Contributor

Synchronizing Mergify JSON Schema files. This PR is automatically generated by the schemas-sync workflow.

@mergify mergify Bot deployed to Mergify Merge Protections May 20, 2026 12:35 Active
@mergify
Copy link
Copy Markdown
Contributor

mergify Bot commented May 20, 2026

Merge Protections

Your pull request matches the following merge protections and will not be merged until they are valid.

🟢 🤖 Continuous Integration

Wonderful, this rule succeeded.
  • all of:
    • check-success = build
    • check-success = lint
    • check-success = test
    • any of:
      • check-success = test-broken-links
      • label = ignore-broken-links
    • any of:
      • -head-repo-full-name~=^Mergifyio/
      • check-success=Cloudflare Pages

🟢 👀 Review Requirements

Wonderful, this rule succeeded.
  • any of:
    • author = mergify-ci-bot
    • #approved-reviews-by >= 2
    • author = dependabot[bot]

🟢 Enforce conventional commit

Wonderful, this rule succeeded.

Make sure that we follow https://www.conventionalcommits.org/en/v1.0.0/

  • title ~= ^(fix|feat|docs|style|refactor|perf|test|build|ci|chore|revert|ui)(?:\(.+\))?:

🟢 🔎 Reviews

Wonderful, this rule succeeded.
  • #changes-requested-reviews-by = 0
  • #review-requested = 0
  • #review-threads-unresolved = 0

🟢 📕 PR description

Wonderful, this rule succeeded.
  • body ~= (?ms:.{48,})

@mergify
Copy link
Copy Markdown
Contributor

mergify Bot commented May 20, 2026

Merge Queue Status

  • Entered queue2026-05-20 12:38 UTC · Rule: automated updates
  • Checks skipped · PR is already up-to-date
  • Merged2026-05-20 12:43 UTC · at 13a7ea956958bc55bcbdc035c8ac5dd06d151932 · fast-forward

This pull request spent 5 minutes 51 seconds in the queue, including 3 seconds running CI.

Required conditions to merge

@mergify mergify Bot added the queued label May 20, 2026
@mergify mergify Bot merged commit 13a7ea9 into Mergifyio:main May 20, 2026
7 checks passed
@mergify mergify Bot removed the queued label May 20, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant