Skip to content

Remove development-only docs from repository - #1

Draft
YoannDL wants to merge 1 commit into
mainfrom
yoooo/remove-dev-docs
Draft

Remove development-only docs from repository#1
YoannDL wants to merge 1 commit into
mainfrom
yoooo/remove-dev-docs

Conversation

@YoannDL

@YoannDL YoannDL commented Jul 15, 2026

Copy link
Copy Markdown
Owner

Summary

  • remove development-only Markdown files from the tracked repository
  • keep only README.md and docs/commands.md as public Markdown docs
  • ignore local agent/planning/design docs so they do not get re-added
  • trim README links and contributor/planning sections that pointed to removed docs

Validation

  • git ls-files '*.md' returns only README.md and docs/commands.md
  • checked remaining README local links: LICENSE and docs/commands.md exist
  • rg found no remaining references to removed internal docs in public Markdown

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