Skip to content

Let cratis init skip a context reference that would be overwritten - #82

Merged
woksin merged 1 commit into
mainfrom
feat/81-no-context
Aug 19, 2026
Merged

Let cratis init skip a context reference that would be overwritten#82
woksin merged 1 commit into
mainfrom
feat/81-no-context

Conversation

@woksin

@woksin woksin commented Aug 19, 2026

Copy link
Copy Markdown
Collaborator

Added

  • cratis init --no-context writes the skill and prompt files but leaves the tool's instruction file alone, for repositories that generate AGENTS.md, CLAUDE.md or .github/copilot-instructions.md from a shared corpus and propagate them. Appending to such a file is undone by the next sync — the reference disappears at an unpredictable later moment, which is harder to notice than never adding it. The skip is reported and names what to add instead, so the catalog does not end up on disk with nothing pointing at it. (cratis init writes the context reference into files that are generated, where it will be overwritten #81)

Some repositories generate their instruction files from a shared corpus and
propagate them across repositories, so appending @CHRONICLE.md to one is undone
by the next sync. That is worse than never adding it: the reference disappears
at an unpredictable later moment, and whoever notices sees a project that was
configured and silently is not.

--no-context writes the skill and prompt and leaves the instruction file alone.
The skip is reported rather than silent, and names what to do instead, because
a project with the catalog on disk and nothing pointing at it looks configured
and loads nothing.

The four flags now travel as a record. They all read as bare booleans at the
call site, where transposing two produces a configuration that looks right and
is not.
@woksin woksin added the minor New features, non-breaking additions label Aug 19, 2026
@woksin
woksin merged commit d948504 into main Aug 19, 2026
4 of 5 checks passed
@woksin
woksin deleted the feat/81-no-context branch August 19, 2026 12:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

minor New features, non-breaking additions

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant