fix(check-docs): examine every mention of a PR, not just the first (#516) - #520

Merged

jphein merged 3 commits into

mainfrom

fix/516-check-docs-all-mentions

Sep 18, 2026

Commits on Sep 18, 2026

fix(check-docs): examine every mention of a PR, not just the first
jphein
committed
61f8802
fix(check-docs): a state WORD is not a state CLAIM; /pull/N, not /N
jphein
committed
872971b
docs(fork-changes): renumber to seq 157 after the #511/#522 rebase
jphein
committed
53f05db