Skip to content

merge queue: merged #12504: Add a label for one more review - #12563

Closed
mergify[bot] wants to merge 2 commits into
masterfrom
mergify/merge-queue/ef336fa95b
Closed

merge queue: merged #12504: Add a label for one more review#12563
mergify[bot] wants to merge 2 commits into
masterfrom
mergify/merge-queue/ef336fa95b

Conversation

@mergify

@mergify mergify Bot commented Nov 10, 2026 •
edited
Loading

Copy link
Copy Markdown
Contributor

Note

This is a merge queue draft opened by Mergify. Its pull request has merged, and nobody needs to act on it.
Mergify opened it for batch marvellous-merguez-1xgea5 of the default queue, to test #12504 before it merged into master.

🎉 What landed

Mergify merged its pull request into master, then closed this draft:

  • #12504 Add a label for one more review (philderbeast), as 90fa465

This draft's code was built in this order:

  1. master at bb82308
  2. #12504, the pull request of this batch
Metadata for CI tooling, read by mergify ci 
---
all_scopes: false
checking_base_sha: bb823089d8201a8b9d6116b8147ee63dfb615290
previous_check_retries: []
previous_failed_batches: []
pull_requests:
  - number: 12504
    scopes: []
scopes: []
...
Required conditions of queue rule default for merge
  • #review-threads-unresolved = 0 [🛡 GitHub branch protection]
  • github-review-approved [🛡 GitHub branch protection]
  • any of [🛡 GitHub branch protection]:
    • check-success = Doctest Cabal
    • check-neutral = Doctest Cabal
    • check-skipped = Doctest Cabal
  • any of [🛡 GitHub branch protection]:
    • check-success = Meta checks
    • check-neutral = Meta checks
    • check-skipped = Meta checks
  • any of [🛡 GitHub branch protection]:
    • check-success = docs/readthedocs.org:cabal
    • check-neutral = docs/readthedocs.org:cabal
    • check-skipped = docs/readthedocs.org:cabal
  • any of [🛡 GitHub branch protection]:
    • check-success = Validate post job
    • check-neutral = Validate post job
    • check-skipped = Validate post job
  • any of [🛡 GitHub branch protection]:
    • check-success = fourmolu
    • check-neutral = fourmolu
    • check-skipped = fourmolu
  • any of [🛡 GitHub branch protection]:
    • check-success = hlint
    • check-neutral = hlint
    • check-skipped = hlint
  • any of [🛡 GitHub branch protection]:
    • check-success = Bootstrap post job
    • check-neutral = Bootstrap post job
    • check-skipped = Bootstrap post job
  • any of [🛡 GitHub branch protection]:
    • check-success = whitespace
    • check-neutral = whitespace
    • check-skipped = whitespace
  • any of [🛡 GitHub branch protection]:
    • check-success = Check sdist post job
    • check-neutral = Check sdist post job
    • check-skipped = Check sdist post job
  • any of [🛡 GitHub branch protection]:
    • check-success = Changelogs
    • check-neutral = Changelogs
    • check-skipped = Changelogs
Required conditions to stay in the queue

@mergify mergify Bot mentioned this pull request Nov 10, 2026
Merged
1 of 2 tasks
@mergify mergify Bot changed the title merge queue: checking #12504 on master (bb82308) merge queue: merged #12504: Add a label for one more review Nov 10, 2026
@mergify mergify Bot closed this Nov 10, 2026
@mergify
mergify Bot deleted the mergify/merge-queue/ef336fa95b branch November 10, 2026 15:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@philderbeast