Skip to content

merge queue: embarking main (9c2de62), #1115 and #1123 together#1130

Closed
mergify[bot] wants to merge 5 commits intomainfrom
mergify/merge-queue/409d9d8188
Closed

merge queue: embarking main (9c2de62), #1115 and #1123 together#1130
mergify[bot] wants to merge 5 commits intomainfrom
mergify/merge-queue/409d9d8188

Conversation

@mergify
Copy link
Copy Markdown
Contributor

@mergify mergify bot commented Apr 10, 2026

🎉 This pull request has been checked successfully and will be merged soon. 🎉

Branch main (9c2de62), #1115 and #1123 are embarked together for merge.

This pull request has been created by Mergify to speculatively check the mergeability of #1123.
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: d96440f3e237d1b8e3b7b3ade3115f7bd7afb867
previous_failed_batches: []
pull_requests:
  - number: 1123
    scopes: []
scopes: []
...

jd and others added 5 commits April 10, 2026 11:32
Adds AGENTS.md with CLI output style guideline: prefer compact Unicode
symbols (✓ ✗ ● ○ —) over emoji for consistent terminal rendering.

Replaces all emoji in the stack module (setup.py, pre-push.sh) with
the compact symbols to match the queue module's existing style.

Change-Id: Ie9a1cbe04ce1abdd5866e9f7de6d7000e95b9675
Claude-Session-Id: 2d9f4a52-4a1d-4a50-a459-3b57847dec9f
Adds smart_rebase() that detects merged PRs via the GitHub API and
handles them during rebase. If merged commits are found, it does a
single `git rebase -i` that both drops them and rebases onto trunk,
avoiding conflicts from PRs modified on GitHub before merge.

If no commits are merged, falls back to simple `git pull --rebase`.

Integrated into `mergify stack push` during its rebase step.

Change-Id: If517fa97f6ed588bf1f2782aa14a1411936c9379
Claude-Session-Id: 2d9f4a52-4a1d-4a50-a459-3b57847dec9f
…t provided

The `stack checkout` command crashed with `AttributeError: 'NoneType' object has no attribute 'split'`
when `--repository` was omitted, because the option had no default. Now falls back to resolving
the user/repo from the git remote URL, consistent with `stack list` and `stack push`.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
Change-Id: Ia877c5731f169267d4285b8f5997f802f44298c9
@mergify mergify bot deployed to Mergify Merge Protections April 10, 2026 13:38 Active
@mergify mergify bot closed this Apr 10, 2026
@mergify mergify bot deleted the mergify/merge-queue/409d9d8188 branch April 10, 2026 13:41
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