Skip to content

chore: remove local design spec records - #1188

Closed
tiantt wants to merge 1 commit into
mainfrom
chore/remove-local-design-specs
Closed

tiantt wants to merge 1 commit into
mainfrom
chore/remove-local-design-specs

Conversation

@tiantt

@tiantt tiantt commented Oct 27, 2026

Copy link
Copy Markdown
Collaborator

Summary

  • remove the tracked prd-spec/ and specs/ directories and ignore future local copies
  • update AGENTS.md to stop requiring repository-local PRD/spec files and require a pre-commit public-record check instead
  • clean up references to deleted design/spec files in frontend and managed MPA docs, plus the stale CLI help example pointer

Verification

  • uv run --extra dev pre-commit run --all-files
  • uv run --extra dev pytest tests/cli/test_cli_mpa.py -q
  • git diff --cached --check
  • searched remaining prd-spec/specs references; remaining hits are external OpenTelemetry URLs, code terminology, or a test-local temporary filename

Public record check

This is a repository workflow/documentation cleanup. The GitHub PR itself records the public/user-visible policy change and verification; no separate release note is required.

Co-authored-by: TRAE CLI <traecli@bytedance.com>
@tiantt

tiantt commented Oct 27, 2026

Copy link
Copy Markdown
Collaborator Author

Closing this cleanup-only PR because it was opened from the wrong change set. I will submit the Codex performance branch separately.

@tiantt tiantt closed this Oct 27, 2026
@tiantt
tiantt deleted the chore/remove-local-design-specs branch October 27, 2026 09:55
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