Skip to content

merge queue: checking main (15ae091) and #12231 together - #12244

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

merge queue: checking main (15ae091) and #12231 together#12244
mergify[bot] wants to merge 2 commits into
mainfrom
mergify/merge-queue/a947cdd94c

Conversation

@mergify

@mergify mergify Bot commented Jul 28, 2026

Copy link
Copy Markdown
Contributor

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

Branch main (15ae091) and #12231 are queued together for merge.

This pull request has been created by Mergify to check the mergeability of #12231.
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:

Required conditions to stay in the queue:

---
checking_base_sha: 15ae091e9d5cb6017a755dd0125db900b4e5ae9f
previous_check_retries: []
previous_failed_batches: []
pull_requests:
  - number: 12231
    scopes: []
scopes: []
...

jd and others added 2 commits July 27, 2026 16:29
The metrics reference was missing
`mergify.queue.skip_intermediate_results.batches_saved`, a count the engine's
stats metrics pusher has been submitting alongside the rest of the
`mergify.queue.*` family. It is what backs the "Batches Saved" chart on the
merge queue Statistics page.

Add the table row and a short paragraph explaining what it counts and that it
only moves when `skip_intermediate_results` is enabled. The explanation goes in
prose rather than the table cell because a metric name that long plus an inline
link exceeds the 120-character line limit, and table rows cannot be wrapped.

MRGFY-8213

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Change-Id: I4d81d0e0cc1ddea0fde7ca8a469bb99570a7db11
@mergify
mergify Bot deployed to Mergify Merge Protections July 28, 2026 09:16 Active
@mergify mergify Bot closed this Jul 28, 2026
@mergify
mergify Bot deleted the mergify/merge-queue/a947cdd94c branch July 28, 2026 09:19
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