Repository navigation

wiki lint: count comment and run ids as unchecked, not dead evidence - #230

Merged

wshallwshall merged 2 commits into

mainfrom

builder/lint-digit-ids-unchecked

Oct 17, 2026

Merged

wiki lint: count comment and run ids as unchecked, not dead evidence#230
wshallwshall merged 2 commits into
mainfrom
builder/lint-digit-ids-unchecked

Commits on Oct 17, 2026
- wiki lint: an all-digit token of more than eight digits is unchecked, not a dead commit
  wshallwshall
  committed
  1b9f49b
- wiki lint: still look up an all-digit token, and call it unchecked only when it resolves nowhere
  wshallwshall
  committed
  57cb58b