review: add an opt-in `documentation` reviewer - #299

Merged

jwbron merged 6 commits into

mainfrom

jwies/documentation-lens

Jul 30, 2026

Commits on Jul 30, 2026

[jwies/documentation-lens] review: add an opt-in `documentation` reviewer
jwbron
committed
69daf1f
[jwies/documentation-lens] review: name the documentation label, since autofix selects on it
jwbron
committed
f64f10e
[jwies/documentation-lens] review: reconcile the documentation reviewer with scripted dispatch
jwbron
committed
18fc3ec
[jwies/documentation-lens] review: an absent opt-in reviewer is an asymmetric arm, not a failed run
jwbron
committed
c2e3594
[jwies/documentation-lens] review: carry the arm-asymmetry caveat into the pooled report
jwbron
committed
53d7ef2
[jwies/documentation-lens] review: corpus cases that can actually discriminate the documentation reviewer
jwbron
committed
102ee15