Comment only when a link we publish has actually rotted - #8

Merged

mmcky merged 2 commits into

mainfrom

useful-docs-link-check

Aug 3, 2026

Commits on Aug 3, 2026

Comment only when a link we publish has actually rotted

mmcky
and
claude
committed
dc62ce0
Silence status 0 in the docs check, and stop naming rot as the cause

mmcky
and
claude
committed
e2ae392