Skip to content

merge queue: merged #8273: fix: quick instance switcher count being overwritten every time - #8283

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

mergify[bot] wants to merge 6 commits into
mainfrom
mergify/merge-queue/2c583dac28

Conversation

@mergify

@mergify mergify Bot commented Nov 10, 2026 •

Copy link
Copy Markdown

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 individual-chapon-hi4206 of the default queue, to test #8273 before it merged into main.

🎉 What landed

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

  • #8273 fix: quick instance switcher count being overwritten every time (IMB11), as 46960d0

This draft's code was built in this order:

  1. main at 49c267b
  2. the pull request queued ahead of this batch, listed below, which brought the tip to a76f5e8
  3. #8273, the pull request of this batch

Queued ahead of this batch

This pull request entered the queue before this batch and is not part of it.

Metadata for CI tooling, read by mergify ci
---
all_scopes: false
checking_base_sha: a76f5e8773d9796cd32ec824c13cdc5efd796288
previous_check_retries: []
previous_failed_batches: []
pull_requests:
  - number: 8273
    scopes:
      - app
scopes:
  - app
...
1 scope
  • app
Required conditions of queue rule default for merge
Required conditions to stay in the queue

@github-actions

Copy link
Copy Markdown
Contributor

Pull request changelog

App

Added

Changed

Deprecated

Removed

Fixed

Security

Website

Added

Changed

Deprecated

Removed

Fixed

Security

Hosting

Added

Changed

Deprecated

Removed

Fixed

Security

@mergify mergify Bot changed the title merge queue: checking #8273 on main (49c267b), stacked on #8275 merge queue: merged #8273: fix: quick instance switcher count being overwritten every time Nov 10, 2026
@mergify mergify Bot closed this Nov 10, 2026
@mergify
mergify Bot deleted the mergify/merge-queue/2c583dac28 branch November 10, 2026 15:44
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