Skip to content

chore(gitignore): also ignore /.plan/ (Decision 019 gap)#87

Closed
devonartis wants to merge 1 commit into
developfrom
chore/gitignore-block-plan-dir
Closed

chore(gitignore): also ignore /.plan/ (Decision 019 gap)#87
devonartis wants to merge 1 commit into
developfrom
chore/gitignore-block-plan-dir

Conversation

@devonartis

Copy link
Copy Markdown
Owner

/.plans/ was already ignored, but the singular /.plan/ variant slipped past the rule — letting dev-internal planning artifacts land in the public repo (Decision 019 gap, surfaced in the 2026-05-28 agentwrit-ent removal). This blocks both.

One-line .gitignore change. Docs/chore only.

/.plans/ was blocked but the singular /.plan/ variant slipped past,
letting dev-internal planning artifacts land in the public repo.
Block both.

Co-authored-by: Claude <noreply@anthropic.com>
@github-actions

Copy link
Copy Markdown

Dependency Review

✅ No vulnerabilities or license issues or OpenSSF Scorecard issues found.

Scanned Files

None

@devonartis devonartis added the skip-changelog Docs/config-only PR — no CHANGELOG entry needed label Jun 30, 2026
@devonartis devonartis closed this Jun 30, 2026
@devonartis devonartis deleted the chore/gitignore-block-plan-dir branch June 30, 2026 00:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

skip-changelog Docs/config-only PR — no CHANGELOG entry needed

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant