Skip to content

merge queue: checking #7467 on main (48d021d), stacked on #7435 - #7571

Closed
mergify[bot] wants to merge 20 commits into
mainfrom
mergify/merge-queue/4285e789e8
Closed

mergify[bot] wants to merge 20 commits into
mainfrom
mergify/merge-queue/4285e789e8

Conversation

@mergify

@mergify mergify Bot commented Sep 15, 2026

Copy link
Copy Markdown

⏳ The pull request #7467 is queued for merge and currently being checked. ⏳

#7467 is queued for merge on branch main (48d021d).

Stacked behind 1 pull request queued ahead of this batch, not part of it. These checks run on a tip that also carries its commits, so a failure here can come from it as much as from #7467.

Queued ahead of this batch:

2 scopes
  • backend
  • frontend

This pull request has been created by Mergify to speculatively check the mergeability of #7467.
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: 2eafbbae59ff095754ea9c2943cde06371c0cccf
previous_check_retries: []
previous_failed_batches: []
pull_requests:
  - number: 7467
    scopes:
      - backend
      - frontend
scopes:
  - backend
  - frontend
...

@mergify mergify Bot mentioned this pull request Sep 15, 2026
@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

@github-actions

Copy link
Copy Markdown
Contributor

@mergify mergify Bot closed this Sep 15, 2026
@mergify
mergify Bot deleted the mergify/merge-queue/4285e789e8 branch September 15, 2026 18:23
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.

2 participants