Skip to content

chore: sync Mergify JSON Schema files#11930

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

chore: sync Mergify JSON Schema files#11930
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 June 25, 2026 08:11 Active
@mergify

mergify Bot commented Jun 25, 2026

Copy link
Copy Markdown
Contributor

Merge Protections

🟢 All 6 merge protections satisfied — ready to merge.

Show 6 satisfied protections

🟢 🤖 Continuous Integration

  • 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

  • any of:
    • author = mergify-ci-bot
    • #approved-reviews-by >= 2
    • author = dependabot[bot]

🟢 Enforce conventional commit

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

  • #changes-requested-reviews-by = 0
  • #review-requested = 0
  • #review-threads-unresolved = 0

🟢 📕 PR description

  • body ~= (?ms:.{48,})

🟢 🚦 Auto-queue

When all merge protections are satisfied, this pull request will be queued automatically.

@mergify

mergify Bot commented Jun 25, 2026

Copy link
Copy Markdown
Contributor

Queued — the merge queue status continues in this comment ↓.

@mergify

mergify Bot commented Jun 25, 2026

Copy link
Copy Markdown
Contributor

Merge Queue Status

  • Entered queue2026-06-25 08:13 UTC · Rule: automated updates · triggered by merge protections
  • Checks skipped · PR is already up-to-date
  • Merged2026-06-25 08:19 UTC · at 32660ce63ab50e6c8164d1973055b4d7a35c3d87 · fast-forward

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

Required conditions to merge

@mergify mergify Bot added the queued label Jun 25, 2026
@mergify mergify Bot merged commit 32660ce into Mergifyio:main Jun 25, 2026
7 checks passed
@mergify mergify Bot removed the queued label Jun 25, 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