Skip to content

chore: keep internal reports out of the repository - #23

Merged
akosidencio merged 1 commit into
devfrom
chore/internal-docs-gitignore
Oct 29, 2026
Merged

akosidencio merged 1 commit into
devfrom
chore/internal-docs-gitignore

Conversation

@akosidencio

Copy link
Copy Markdown
Member

Moves the Phase 2 engineering report (merged in #22) out of the repository into internal_docs/, which is now gitignored. scripts/check-tracked-artifacts.sh (the CI hygiene guard) also fails if anything under internal_docs/ is committed, e.g. with git add -f. Nothing tracked referenced the report.

Note: the report remains in the history of dev from #22; this only stops it being tracked from here on.

The Phase 2 engineering report is for internal use. It moves to
internal_docs/, which is now gitignored, and the tracked-artifacts CI guard
fails if anything under internal_docs/ is ever committed (for example with
`git add -f`). Nothing tracked referenced the report.
@akosidencio
akosidencio merged commit 5bd188d into dev Oct 29, 2026
18 of 19 checks passed
akosidencio added a commit that referenced this pull request Oct 29, 2026
chore: keep internal reports out of the repository
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