Skip to content

Keep agent and planning files out of the repo, not just off this machine - #14

Merged
jadoon200 merged 1 commit into
mainfrom
chore/harden-local-only-ignores
Aug 9, 2026
Merged

Keep agent and planning files out of the repo, not just off this machine#14
jadoon200 merged 1 commit into
mainfrom
chore/harden-local-only-ignores

Conversation

@jadoon200

Copy link
Copy Markdown
Owner

CLAUDE.md, AGENTS.md and .claude/ were relied on being ignored by ~/.config/git/ignore, which is machine-local and does not travel with a clone. Each repo now ignores them itself.

No behaviour change; local copies stay where they are.

CLAUDE.md, AGENTS.md and .claude/ were relied on being ignored by
~/.config/git/ignore, which is machine-local: it does not travel with a
clone, so the same files were one 'git add -A' away from being committed
from any other checkout. pharos and horus even carried the section header
for these entries with nothing underneath it.

Each repo now ignores them itself. No behaviour change; the local copies
stay exactly where they are.
@jadoon200
jadoon200 merged commit a620988 into main Aug 9, 2026
3 checks passed
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