Skip to content

chore: untrack docs/ and gitignore the folder#68

Open
plumppig wants to merge 1 commit into
masterfrom
chore/remove-docs-from-tracking
Open

chore: untrack docs/ and gitignore the folder#68
plumppig wants to merge 1 commit into
masterfrom
chore/remove-docs-from-tracking

Conversation

@plumppig
Copy link
Copy Markdown
Contributor

@plumppig plumppig commented May 2, 2026

Summary

  • Removes docs/ from git tracking — the folder holds internal planning artifacts (design specs, implementation plans) that shouldn't live in a public repo.
  • Adds docs/ to .gitignore so future internal docs don't get committed by accident.
  • Local files are preserved on disk (used git rm --cached); only tracking is removed.

Existing git history still contains the two markdown files. A full history scrub is a separate follow-up requiring git filter-repo and force-push.

Test plan

  • git ls-files docs/ returns nothing on this branch
  • git status --ignored lists docs/ under "Ignored files"
  • No build/test references to docs/ (verified — only external developer.domo.com URL strings)

🤖 Generated with Claude Code

The docs/ folder contains internal planning artifacts (design specs,
implementation plans) that shouldn't live in a public repo. Remove them
from tracking and gitignore the folder so future internal docs don't get
committed accidentally.

Files remain on disk locally; only their tracking is removed. Existing
git history is unchanged — prior commits still contain these files.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
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