style: use compact Unicode symbols instead of emoji in CLI output#1114
Merged
mergify[bot] merged 1 commit intomainfrom Apr 10, 2026
Conversation
Member
Author
|
This pull request is part of a stack: |
This was referenced Apr 10, 2026
Contributor
Merge ProtectionsYour pull request matches the following merge protections and will not be merged until they are valid. 🟢 🤖 Continuous IntegrationWonderful, this rule succeeded.
🟢 👀 Review RequirementsWonderful, this rule succeeded.
🟢 Enforce conventional commitWonderful, this rule succeeded.Make sure that we follow https://www.conventionalcommits.org/en/v1.0.0/
🟢 🔎 ReviewsWonderful, this rule succeeded.
🟢 📕 PR descriptionWonderful, this rule succeeded.
|
There was a problem hiding this comment.
Pull request overview
Updates CLI output styling to use compact Unicode symbols instead of emoji for more consistent terminal rendering across environments.
Changes:
- Adds
AGENTS.mddocumenting CLI output guidelines (prefer compact Unicode symbols over emoji). - Replaces emoji status markers in
mergify_cli/stack/setup.pywith✓(and removes the 🤖 header marker). - Removes the warning emoji from the stack
pre-pushhook message.
Reviewed changes
Copilot reviewed 3 out of 3 changed files in this pull request and generated 2 comments.
| File | Description |
|---|---|
mergify_cli/stack/setup.py |
Replaces emoji in setup/status messages with compact Unicode equivalents. |
mergify_cli/stack/hooks/scripts/pre-push.sh |
Removes warning emoji from the pre-push guidance message. |
AGENTS.md |
Adds repository guidance for terminal output symbols vs emoji. |
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
Contributor
|
@jd this pull request is now in conflict 😩 |
jd
force-pushed
the
devs/jd/feat/pre-push-hook-intercept/Ie9a1cbe04ce1abdd5866e9f7de6d7000e95b9675
branch
from
e7028dc to
5f86e50
Compare
JulianMaurin
previously approved these changes
Apr 10, 2026
sileht
previously approved these changes
Apr 10, 2026
Contributor
Merge Queue Status
This pull request spent 28 seconds in the queue, with no time running CI. ReasonThe pull request conflicts with the base branch HintYou should update or rebase your pull request. If you want to requeue this pull request, you can post a |
Contributor
|
@jd this pull request is now in conflict 😩 |
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
jd
force-pushed
the
devs/jd/feat/pre-push-hook-intercept/Ie9a1cbe04ce1abdd5866e9f7de6d7000e95b9675
branch
from
5f86e50 to
e878e0a
Compare
mergify
bot
dismissed stale reviews from JulianMaurin and sileht
Pull request has been modified.
JulianMaurin
approved these changes
Apr 10, 2026
kozlek
approved these changes
Apr 10, 2026
Contributor
Merge Queue Status
This pull request spent 59 seconds in the queue, including 2 seconds running CI. Required conditions to merge
|
mergify
bot
deleted the
devs/jd/feat/pre-push-hook-intercept/Ie9a1cbe04ce1abdd5866e9f7de6d7000e95b9675
branch
mergify bot
pushed a commit
that referenced
this pull request
Apr 10, 2026
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. Claude-Session-Id: 2d9f4a52-4a1d-4a50-a459-3b57847dec9f Depends-On: #1114
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
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.
Claude-Session-Id: 2d9f4a52-4a1d-4a50-a459-3b57847dec9f