Skip to content

Commit 3e2f4ce

Browse files
committed
Pin proof-pr v0.2.8 dogfood guidance
1 parent d6f726b commit 3e2f4ce

2 files changed

Lines changed: 8 additions & 7 deletions

File tree

.github/workflows/proof-pr.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -9,10 +9,10 @@ permissions:
99

1010
jobs:
1111
proof:
12-
uses: saagpatel/proof-pr/.github/workflows/proof-pr-receipt.yml@v0.2.7
12+
uses: saagpatel/proof-pr/.github/workflows/proof-pr-receipt.yml@v0.2.8
1313
with:
1414
receipt_path: proof-pr.json
15-
proof_pr_ref: v0.2.7
15+
proof_pr_ref: v0.2.8
1616
check_public_git_metadata: true
1717
public_git_metadata_mode: introduced
1818
artifact_name: github-repo-auditor-proof-pr

docs/proof-pr-dogfood.md

Lines changed: 6 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@ environment and render the proof block from a generated receipt:
1212
```bash
1313
python3 -m venv /tmp/gra-proof-pr-venv
1414
/tmp/gra-proof-pr-venv/bin/python -m pip install \
15-
git+https://github.com/saagpatel/proof-pr.git@v0.2.7
15+
git+https://github.com/saagpatel/proof-pr.git@v0.2.8
1616
/tmp/gra-proof-pr-venv/bin/proof-pr init \
1717
--cwd . \
1818
--tier T1 \
@@ -25,13 +25,14 @@ python3 -m venv /tmp/gra-proof-pr-venv
2525
/tmp/gra-proof-pr.json
2626
/tmp/gra-proof-pr-venv/bin/proof-pr receipt-hygiene \
2727
/tmp/gra-proof-pr.json \
28-
--explain
28+
--explain \
29+
--check public-git-metadata \
30+
--fix-only
2931
```
3032

3133
`receipt-hygiene --explain` is the author-facing nudge for incomplete receipts.
32-
It keeps hygiene read-only, but adds copyable commands and compact receipt patch
33-
examples for missing evidence such as public git metadata, secrets posture,
34-
permission posture, or rollback specificity.
34+
Add `--check <id> --fix-only` when you want just one copyable command and compact
35+
receipt patch, instead of the full hygiene report. It keeps hygiene read-only.
3536

3637
For GithubRepoAuditor, keep the risk tier honest:
3738

0 commit comments

Comments
 (0)