Skip to content

Move internal notes out of the public repo - #9

Draft
is2b007 wants to merge 1 commit into
mainfrom
codex/repository-cleanup
Draft

Move internal notes out of the public repo#9
is2b007 wants to merge 1 commit into
mainfrom
codex/repository-cleanup

Conversation

@is2b007

@is2b007 is2b007 commented Jul 22, 2026

Copy link
Copy Markdown
Owner

What changed

  • removed the local-only AGENTS.md prompt from the public tree
  • archived obsolete build-plan, editor-plan, launch-checklist, product-brief, and visual-reference notes outside Git
  • retained the important product invariants in CONTRIBUTING.md
  • removed stale pre-public wording and dead documentation links
  • ignored local agent, Codex, and browser scratch files

Local archive

The removed material is preserved under:

~/Documents/Reed Local Archive/2026-07-22 repository cleanup/

The main checkout's 55 untracked duplicate, scratch, and case-study files were also moved there with their original directory layout.

Validation

  • pnpm typecheck
  • pnpm test:offline
  • gitleaks git --no-banner
  • no remaining references to removed documents
  • archived tracked files verified byte-for-byte before removal

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