Skip to content

docs: teach the rep skill the new flags and gitignoring .rep/ - #13

Merged
zawakin merged 1 commit into
mainfrom
feature/rep-skill-new-flags
Jul 6, 2026
Merged

docs: teach the rep skill the new flags and gitignoring .rep/#13
zawakin merged 1 commit into
mainfrom
feature/rep-skill-new-flags

Conversation

@zawakin

@zawakin zawakin commented Jul 6, 2026

Copy link
Copy Markdown
Contributor

Why

The /rep skill predates #8#12, so agents following it still assemble giant --map argument lists and read .rep/plans/*.json by hand. Separately, .rep/ was showing up as untracked noise in git status (it blocked gw sync during the stack merges) because nothing ensured it was gitignored.

What

  • Skill: new-flag coverage.
    • Bulk mappings via --map-file (file or stdin) instead of long --map lists.
    • --from-git-renames for the git-mv-first workflow, including the derive → commit → re-plan recipe and the derived.underivable caveat.
    • rep show (--files --skipped --preview) as the supported plan inspection — explicitly deprecating direct .rep/plans/<id>/*.json reads.
    • apply --last / residual --last as the default id-free path.
    • Repo-wide excludes in a checked-in rep.toml (+ --no-config, excluded_by_config).
  • Skill: gitignore invariant. "Before you start" now requires ensuring .rep/ is gitignored, with a one-liner: git check-ignore -q .rep || echo '.rep/' >> .gitignore.
  • This repo practices it: .gitignore gains .rep/.

mise run rep:verify green (docs-only for code purposes).

🤖 Generated with Claude Code

The skill predates --map-file, --last, rep show, --from-git-renames,
and rep.toml, so agents following it still built giant --map argument
lists and read .rep/plans/*.json by hand. It now covers: bulk mappings
via --map-file, deriving mappings from staged git mv renames (with the
derive -> commit -> re-plan recipe and the underivable caveat), rep
show as the supported plan inspection, apply/residual --last, and
repo-wide excludes in rep.toml.

It also now requires ensuring .rep/ is gitignored before the first
plan: the artifacts are machine-managed state that must not be
committed, and untracked they pollute git status. Practice what we
preach — this repo's own .gitignore gains .rep/ too.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
@zawakin zawakin self-assigned this Jul 6, 2026
@zawakin
zawakin merged commit cbeba7c into main Jul 6, 2026
@zawakin
zawakin deleted the feature/rep-skill-new-flags branch July 6, 2026 01:54
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