Skip to content

merge queue: merged #105: Fix: prevent logo theme animation from restarting - #106

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

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

Conversation

@mergify

@mergify mergify Bot commented Nov 13, 2026 •

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 ecstatic-painnoir-75dz2x of the default queue, to test #105 before it merged into main.

🎉 What landed

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

  • #105 Fix: prevent logo theme animation from restarting (Ceebug), as b05a76b

This draft's code was built in this order:

  1. main at 1963c4b
  2. #105, the pull request of this batch
Metadata for CI tooling, read by mergify ci
---
all_scopes: false
checking_base_sha: 1963c4b88a5fe0f5df4f09a59087d8638a37cf66
previous_check_retries: []
previous_failed_batches: []
pull_requests:
  - number: 105
    scopes: []
scopes: []
...
Required conditions of queue rule default for merge
  • check-success=CI: Test/Lint
Required conditions to stay in the queue

None

@mergify mergify Bot changed the title merge queue: checking #105 on main (1963c4b) merge queue: merged #105: Fix: prevent logo theme animation from restarting Nov 13, 2026
@mergify mergify Bot closed this Nov 13, 2026
@mergify
mergify Bot deleted the mergify/merge-queue/c46eff9087 branch November 13, 2026 15:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant