Skip to content

merge queue: embarking main (75b5d90) and #952 together#965

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

merge queue: embarking main (75b5d90) and #952 together#965
mergify[bot] wants to merge 2 commits intomainfrom
mergify/merge-queue/3908d9a16a

Conversation

@mergify
Copy link
Contributor

@mergify mergify bot commented Feb 11, 2026

✨ Pull request #952 which was ahead in the queue has been dequeued (for the following reason: checks failed). ✨

Branch main (75b5d90) and #952 are embarked together for merge.

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

Required conditions of queue default for merge:

Required conditions to stay in the queue:

---
checking_base_sha: 75b5d90bf62526dec23c89da38707170e778e28f
previous_failed_batches: []
pull_requests:
  - number: 952
...

JulianMaurin and others added 2 commits February 5, 2026 15:01
Add a new `mergify stack open [COMMIT]` command that opens the PR
associated with a commit directly in the browser. This solves the
problem that local branch names don't match remote branch names when
using stacked PRs, making `gh pr view --web` unusable.

- Extract `get_stack_list()` from `list.py` for reuse
- Add new `open.py` module with `stack_open()` function
- Register `open` command in CLI
- Add tests for success and error scenarios

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
Change-Id: I133eefed0ec2f05ae778c10cd0d22c55be5b56ab
@mergify mergify bot deployed to Mergify Merge Protections February 11, 2026 10:12 Active
@mergify mergify bot closed this Feb 11, 2026
@mergify mergify bot deleted the mergify/merge-queue/3908d9a16a branch February 11, 2026 10:13
@mergify
Copy link
Contributor Author

mergify bot commented Feb 11, 2026

🧪 CI Insights

Here's what we observed from your CI run for 59b49b1.

🟢 All jobs passed!

But CI Insights is watching 👀

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