fix: space between review badge and PR/MR id in space labels - #8
Open
ubuntudroid wants to merge 1 commit into
Open
fix: space between review badge and PR/MR id in space labels#8ubuntudroid wants to merge 1 commit into
ubuntudroid wants to merge 1 commit into
Conversation
The review-state glyph was concatenated straight onto the sigil+id, so labels read "✅#123" instead of "✅ #123". Add a separating space, but only when a glyph is present so a plain id stays "#123" with no stray leading space. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
ubuntudroid
added a commit
to ubuntudroid/herdr-git-status
that referenced
this pull request
Jul 22, 2026
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
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.
What
Space labels rendered the review-state glyph glued directly onto the sigil + id, e.g.
✅#123. This inserts a separating space so it reads✅ #123.Why
The glyph and the number ran together, which is hard to read. The space is added only when a glyph is present, so a plain id (no review badge) stays
#123with no stray leading space.Change is in
status_for_repo(poller-ctl.sh); the colored status dot was already spaced separately inpoll_once, so this is the one spot where an icon touched the id.Test
bash test.sh— all 106 tests pass;bash -n poller-ctl.shclean.Merge-order note —
gci_strip_ci_prefixmust match this new emit formatThis PR changes only the emit side in
status_for_repo(poller-ctl.sh): the review badge now renders<glyph> #123(with a space) instead of<glyph>#123. It does not touchgci_strip_ci_prefixinlib.sh, which strips the badge glyph only in the glued form:With the spaced emit, that pattern never matches, so any label carrying a surfaced review badge (approved/conflict/changes — plus
mergedonce #6 lands) never strips, and the whole<glyph> #123token re-accumulates one copy per poll (observed live:✅ #123 ✅ #123 …growing every 30s). Plain ids with no badge are unaffected, which is why it only shows up on some workspaces.On merge, update
gci_strip_ci_prefixto strip both forms — add the spaced patterns next to the glued ones:Merge-order specifics:
main, so fix: space between review badge and PR/MR id in space labels #8 alone introduces the accumulation.${VAR-default}glyphs; addedmerged/🔀). Whichever of {fix: space between review badge and PR/MR id in space labels #8, feat: make sidebar CI and review glyphs configurable via .env #5, feat: surface a merged badge when a branch's PR/MR has landed #6} lands second/third must make sure the final glyph list in the loop carries the spaced patterns above.<badge> #123), not the glued<badge>#123— the original test used the glued form, which is exactly what hid this.🤖 Generated with Claude Code