Skip to content

merge queue: embarking main (999f169), #10406 and #10363 together#10422

Closed
mergify[bot] wants to merge 2 commits intomainfrom
mergify/merge-queue/bc942973ed
Closed

merge queue: embarking main (999f169), #10406 and #10363 together#10422
mergify[bot] wants to merge 2 commits intomainfrom
mergify/merge-queue/bc942973ed

Conversation

@mergify
Copy link
Copy Markdown
Contributor

@mergify mergify Bot commented Mar 5, 2026

✨ Pull request #10363 has been dequeued. Mergify failed to merge the pull request. GitHub can't merge the pull request after 14 retries.
Base branch was modified in the meantime. ✨

Branch main (999f169), #10406 and #10363 are embarked together for merge.

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

Required conditions of queue automated updates for merge:

Required conditions to stay in the queue:

---
checking_base_sha: 999f1693dbc249f0ede5658f59dea3bdec98a235
previous_failed_batches:
  - checked_pull_requests:
      - 10406
      - 10363
      - 10364
      - 10367
    draft_pr_number: 10420
pull_requests:
  - number: 10363
...

dependabot Bot and others added 2 commits March 5, 2026 20:31
Bumps [@codemirror/language](https://github.com/codemirror/language) from 6.12.1 to 6.12.2.
- [Changelog](https://github.com/codemirror/language/blob/main/CHANGELOG.md)
- [Commits](codemirror/language@6.12.1...6.12.2)

---
updated-dependencies:
- dependency-name: "@codemirror/language"
  dependency-version: 6.12.2
  dependency-type: indirect
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
@mergify mergify Bot deployed to Mergify Merge Protections March 5, 2026 20:38 Active
@mergify mergify Bot closed this Mar 6, 2026
@mergify mergify Bot deleted the mergify/merge-queue/bc942973ed branch March 6, 2026 08:05
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.

0 participants