Skip to content

PR_26174_ALFA_000-projectinstructions-archive-ignore#92

Merged
ToolboxAid merged 2 commits into
mainfrom
pr/26174-ALFA-000-projectinstructions-archive-ignore
Jun 22, 2026
Merged

PR_26174_ALFA_000-projectinstructions-archive-ignore#92
ToolboxAid merged 2 commits into
mainfrom
pr/26174-ALFA-000-projectinstructions-archive-ignore

Conversation

@ToolboxAid

Copy link
Copy Markdown
Owner

Purpose

Add docs_build/dev/ProjectInstructions.zip to .gitignore so the generated Project Instructions archive no longer dirties the worktree.

Changes

  • Updated .gitignore with docs_build/dev/ProjectInstructions.zip.
  • Added required Codex reports under docs_build/dev/reports/.
  • Produced repo-structured delta ZIP under tmp/.

Validation

  • PASS: Started from main and pulled latest origin/main.
  • PASS: Only pre-existing dirty file was .gitignore, matching this PR scope.
  • PASS: Exact ignore entry exists once.
  • PASS: git diff --check.
  • PASS: docs_build/dev/ProjectInstructions.zip is ignored.

Artifact

tmp/PR_26174_ALFA_000-projectinstructions-archive-ignore_delta.zip

Notes

No runtime tests were required for this .gitignore-only BUILD_PR.

@ToolboxAid ToolboxAid marked this pull request as ready for review June 22, 2026 18:04
@ToolboxAid ToolboxAid merged commit b97893c into main Jun 22, 2026
1 check 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.

2 participants