Move the done todo items to todo-history.md, leaving their titles

2026-09-01 16:30:07 +02:00
parent 348707d404
commit 3c168a5d01
3 changed files with 340 additions and 303 deletions
@@ -223,7 +223,8 @@ worth deliberating; what matters is that nothing is left undone in the end. Per
   result exists for the commit under review, or when the diff since that result cannot affect
   it (docs-only) — re-run only what its own findings or fixes invalidate.
 3. Merge the PR (standing authorization, this repo only, granted through the `0.1.0` release —
-   PR #3), check the box in `todo.md`, report, stop. The next chunk gets a fresh session.
+   PR #3), check the box in `todo.md` and move the item's text to `todo-history.md`, leaving its
+   title behind, report, stop. The next chunk gets a fresh session.

 Ask, don't guess: any choice where what the maintainer would pick is not near-certain gets asked,
 and the answer lands as a decision in this file. The confidence bar is very high — asking too