Skip to content

docs: bring post-cut docs and flag help current for v0.13.3 - #872

Merged
REPPL merged 2 commits into
mainfrom
docs/v0.13.3-post-cut-currency
Oct 8, 2026
Merged

REPPL merged 2 commits into
mainfrom
docs/v0.13.3-post-cut-currency

Conversation

@REPPL

@REPPL REPPL commented Oct 8, 2026

Copy link
Copy Markdown
Collaborator

What

The post-cut documentation follow-up for v0.13.3. The cut's docs-currency review deferred three findings (dc-1 to dc-3), and its crosscheck left two side notes (a14, a30). This change fixes all five so the docs match the code:

  • dc-1, commands/launch.md. The findings gate also refuses when any issue record under .abcd/work/issues/open/ differs from HEAD (uncommittedOpenRecords in internal/core/changelog/findings.go). That refusal is surfaced under unfixed-finding. The page now describes it in The findings gate, mentions it in the exit-1 list, and names it in the --allow-dirty paragraph as something the flag never waives.
  • dc-2, commands/prepare-this-repo.md step 5. git config core.hooksPath .githooks is now conditional. It runs only when the detection pass reports banlist.hooks_path as unarmed. When it reports foreign, the step leaves the global or system dispatcher alone, matching commands/ahoy.md and the binary's own hint. The install result does not carry hooks_path, so the step reads it from ahoy --json.
  • dc-3, --allow-dirty help (internal/surface/cli/ship.go). The list of refusals the flag never waives now includes the cut's uncommitted-records refusal and the findings gate's refusal of an uncommitted open/ record.
  • a14. prepare-this-repo.md now gives the full path .abcd/record-lint.json instead of a bare record-lint.json.
  • a30. The one-line implement step --discard help now gives the order the code runs (loop.Discard in hold.go) and that the long help already states: it removes the worktree and branch, then closes the pull request.

docs/reference/cli/commands.md is regenerated with go generate ./internal/surface/cli. The surface baseline is unchanged.

Why

These are user-facing claims that disagreed with the shipped binary. The ledger records the set as one issue, which this change captures and resolves. It is two commits: the fix, then the move to resolved/ that points at it.

Resolves: iss-2610081312364884
Assisted-by: Claude:claude-opus-5-5

REPPL added 2 commits October 8, 2026 14:12
The v0.13.3 cut's docs review deferred five findings. launch.md and the
--allow-dirty flag help now name the findings gate's refusal of an
uncommitted issue record under open/ (and the help names the cut's
uncommitted-records refusal), neither of which the flag waives.
prepare-this-repo sets a local core.hooksPath only when the clone reads
unarmed and leaves a foreign hooks path alone, and names
.abcd/record-lint.json in full. The implement step --discard help now
gives the order the code runs: worktree and branch first, then the pull
request. The CLI reference is regenerated.

Refs: iss-2610081312364884
Assisted-by: Claude:claude-opus-5-5
Moves the issue to resolved/, pointing at the commit that brought
launch.md, prepare-this-repo.md and the --allow-dirty and --discard flag
help current with the code.

Resolves: iss-2610081312364884
Assisted-by: Claude:claude-opus-5-5
@REPPL
REPPL enabled auto-merge October 8, 2026 13:26
@REPPL
REPPL added this pull request to the merge queue Oct 8, 2026
Merged via the queue into main with commit 7549ca2 Oct 8, 2026
14 checks passed
@REPPL
REPPL deleted the docs/v0.13.3-post-cut-currency branch October 8, 2026 14:52
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