Skip to content

docs: hint --path + --extension combo for unregistered checkouts#283

Merged
chubes4 merged 1 commit into
mainfrom
docs/agents-md-lint-path-extension-hint
May 7, 2026
Merged

docs: hint --path + --extension combo for unregistered checkouts#283
chubes4 merged 1 commit into
mainfrom
docs/agents-md-lint-path-extension-hint

Commits

Commits on May 7, 2026