Skip to content

chore: untrack local specification records - #194

Merged
Daxiongmao87 merged 1 commit into
mainfrom
chore/ignore-spec-records
Jul 19, 2026
Merged

chore: untrack local specification records#194
Daxiongmao87 merged 1 commit into
mainfrom
chore/ignore-spec-records

Conversation

@Daxiongmao87

Copy link
Copy Markdown
Owner

Summary

  • Ignore the repository-standard local spec/ development-record directory.
  • Retain the existing legacy specs/ ignore rule and E2E exceptions.
  • Remove the completed Discord announcement specification from Git tracking while leaving local specification records available to development tooling.

Cause

The ignore file covered plural specs/, but the development policy and existing record use singular spec/. Commit c98c090 therefore added spec/001-announce-new-issues-to-discord.md as a tracked file because no matching ignore rule existed. Adding an ignore rule alone would not untrack an already indexed file, so this change also removes that file from the index.

Empirical Verification (UTRs)

This PR changes only .gitignore and a development-only Markdown record; it does not change runtime code.

$ git diff --name-status origin/main...HEAD
M       .gitignore
D       spec/001-announce-new-issues-to-discord.md

$ git ls-files --stage -- spec/001-announce-new-issues-to-discord.md
(no output; the file is no longer tracked)

$ git check-ignore -v --no-index spec/001-announce-new-issues-to-discord.md
.gitignore:8:spec/ spec/001-announce-new-issues-to-discord.md

@Daxiongmao87
Daxiongmao87 merged commit ab63a89 into main Jul 19, 2026
2 checks passed
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