ci(prd): require manual numbering before merge #490

Merged
didericis merged 1 commits from ci/manual-prd-numbering into main 2026-07-26 02:43:54 -04:00
Collaborator

Closes #489

Replaces the post-merge workflow that committed PRD renames back to main with a blocking pull-request check. The check fails while any docs/prds/prd-new-*.md file remains.

Also documents the manual numbering process and assigns the existing SecretProvider draft PRD 0080 so the new invariant holds immediately.

Validation:

  • PRD tree scan passes with no prd-new-*.md files
  • git diff --check passes
  • focused pytest could not run locally because pytest is not installed in the system Python
Closes #489 Replaces the post-merge workflow that committed PRD renames back to `main` with a blocking pull-request check. The check fails while any `docs/prds/prd-new-*.md` file remains. Also documents the manual numbering process and assigns the existing SecretProvider draft PRD 0080 so the new invariant holds immediately. Validation: - PRD tree scan passes with no `prd-new-*.md` files - `git diff --check` passes - focused pytest could not run locally because pytest is not installed in the system Python
didericis approved these changes 2026-07-26 02:16:09 -04:00
didericis added 1 commit 2026-07-26 02:33:20 -04:00
ci(prd): require manual numbering before merge
prd-number-check / require-numbered-prds (pull_request) Successful in 10s
tracker-policy-pr / check-pr (pull_request) Successful in 14s
test / unit (pull_request) Successful in 54s
test / integration-docker (pull_request) Successful in 54s
test / coverage (pull_request) Successful in 18s
test / integration-docker (push) Successful in 16s
test / unit (push) Successful in 50s
lint / lint (push) Successful in 1m0s
test / coverage (push) Successful in 15s
Update Quality Badges / update-badges (push) Successful in 4m1s
d3370a88bb
didericis force-pushed ci/manual-prd-numbering from 5aa7e24344 to d3370a88bb 2026-07-26 02:33:20 -04:00 Compare
didericis merged commit d3370a88bb into main 2026-07-26 02:43:54 -04:00
didericis deleted branch ci/manual-prd-numbering 2026-07-26 02:43:55 -04:00
Sign in to join this conversation.