Skip to content

chore: sync Mergify JSON Schema files#7781

Merged
mergify[bot] merged 1 commit intoMergifyio:mainfrom
mergify-ci-bot:json-schema-types-sync
Jul 9, 2025
Merged

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

Conversation

@mergify-ci-bot
Copy link
Contributor

Automated changes by create-pull-request GitHub action

@mergify
Copy link
Contributor

mergify bot commented Jul 9, 2025

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 = 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]

🟢 Changelog requirements

Wonderful, this rule succeeded.
  • any of:
    • -title ~= ^feat
    • label = need changelog
    • label = skip changelog

🟢 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)(?:\(.+\))?:

🟢 🔎 Reviews

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

mergify bot added a commit that referenced this pull request Jul 9, 2025
@mergify mergify bot added the queued label Jul 9, 2025
mergify bot added a commit that referenced this pull request Jul 9, 2025
mergify bot added a commit that referenced this pull request Jul 9, 2025
mergify bot added a commit that referenced this pull request Jul 9, 2025
mergify bot added a commit that referenced this pull request Jul 9, 2025
mergify bot added a commit that referenced this pull request Jul 9, 2025
mergify bot added a commit that referenced this pull request Jul 9, 2025
@mergify mergify bot merged commit e915294 into Mergifyio:main Jul 9, 2025
9 checks passed
@mergify mergify bot removed the queued label Jul 9, 2025
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