Repository navigation

Review bot: read every non-generated diff, and check that it did - #12

Merged

Deco354 merged 15 commits into

mainfrom

review-every-file

Oct 9, 2026

Commits on Oct 8, 2026
- Review bot: read every non-generated diff, and check that it did
  Deco354
  committed
  6025705
- Review bot: keep the coverage measurement report-only if it breaks
  Deco354
  committed
  fc59ec5
- Review bot: read every diff first, tests and docs included
  
  Deco354
  and
  claude
  committed
  8bbedcb
- Review bot: hold the verdict until every diff is read
  
  Deco354
  and
  claude
  committed
  4987b9c
- README: coverage never gates the verdict (the follow-up can file a new one)
  
  Deco354
  and
  claude
  committed
  87cb7ca
Commits on Oct 9, 2026