Skip to content

Round-4 review follow-ups - #16

Merged
woud420 merged 1 commit into
masterfrom
fix/round4-followups
Jul 10, 2026
Merged

Round-4 review follow-ups#16
woud420 merged 1 commit into
masterfrom
fix/round4-followups

Conversation

@woud420

@woud420 woud420 commented Jul 10, 2026

Copy link
Copy Markdown
Owner

Small follow-up to #15: the four survivors from the fourth (regression-focused) adversarial pass, which was cut short by a session limit — 1 confirmed finding plus 3 plausible-but-unverified claims that were cheap to fix regardless. Each fix verified by execution (see commit message).

  • Restore the nerd-font Spotify glyph dropped in the round-3 spotify.sh rewrite
  • curl -f in minimal-bashrc.sh so HTTP error bodies never become configs or executable hooks
  • jm.hooks.runRepoHooks now honors all git boolean spellings on any git version (--bool vs --type=bool)
  • install.sh repo-symlink protection now engages even when the checkout path itself contains symlinks

Also in this cleanup: PR #14 closed as superseded (its template is byte-identical to master's; its branch was made of the same commits squashed in #15) and its branch deleted.

🤖 Generated with Claude Code

… paths

- spotify.sh: restore the U+F1BC nerd-font glyph the round-3 rewrite
  silently dropped (paused/stopped showed a stray leading space).
- minimal-bashrc.sh: curl -f everywhere so an HTTP error page can never
  land as a shell config or an executable git hook.
- hooks: the jm.hooks.runRepoHooks switch uses --bool (works on any git)
  instead of --type=bool (2.18+ only, where the unknown flag made the
  security switch fail open). Verified 0/no/off/false all skip.
- install.sh: materialize_target_dir compares physical paths - with a
  symlinked checkout path the repo-protection guard silently never
  engaged. Verified through a symlinked clone.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
@woud420
woud420 merged commit 18b5911 into master Jul 10, 2026
8 checks passed
@woud420
woud420 deleted the fix/round4-followups branch July 10, 2026 11:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant