ci(prd): require manual numbering before merge #490
Reference in New Issue
Block a user
Delete Branch "ci/manual-prd-numbering"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Closes #489
Replaces the post-merge workflow that committed PRD renames back to
mainwith a blocking pull-request check. The check fails while anydocs/prds/prd-new-*.mdfile remains.Also documents the manual numbering process and assigns the existing SecretProvider draft PRD 0080 so the new invariant holds immediately.
Validation:
prd-new-*.mdfilesgit diff --checkpasses5aa7e24344tod3370a88bb