Skip to content

merge queue: queuing main (7fc6ec1) and #3 together#4

Closed
mergify[bot] wants to merge 2 commits into
mainfrom
mergify/merge-queue/cdaf14de8e
Closed

merge queue: queuing main (7fc6ec1) and #3 together#4
mergify[bot] wants to merge 2 commits into
mainfrom
mergify/merge-queue/cdaf14de8e

Conversation

@mergify

@mergify mergify Bot commented Jun 23, 2026

Copy link
Copy Markdown
Contributor

🎉 This pull request has been checked successfully and will be merged soon. 🎉

Branch main (7fc6ec1) and #3 are queued together for merge.

This pull request has been created by Mergify to check the mergeability of #3.
You don't need to do anything. Mergify will close this pull request automatically when it is complete.

Required conditions of queue rule default for merge:

No extra conditions.

Required conditions to stay in the queue: None

---
checking_base_sha: 7fc6ec1e8b37c3b7e4a4e0461d0ff3313f5ef7ef
previous_check_retries: []
previous_failed_batches: []
pull_requests:
  - number: 3
    scopes: []
scopes: []
...

sileht and others added 2 commits June 22, 2026 15:00
Model the config on the sibling mergify-cli repo: extend the shared
.github org config, request review from the @devs team, define the
dependencies/default queue rules, and enforce CI + review merge
protections. Gate on the repo's own aggregate CI job (all-greens).

Change-Id: I1b418eccfa893e6188dfc7256e747a4dbb40b5f7
@mergify mergify Bot mentioned this pull request Jun 23, 2026
@mergify mergify Bot closed this Jun 23, 2026
@mergify mergify Bot deployed to Mergify Merge Protections June 23, 2026 12:55 Active
@mergify mergify Bot deleted the mergify/merge-queue/cdaf14de8e branch June 23, 2026 12:55
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