Skip to content

incomplete-edit costs about one extra iteration beyond what diff size predicts: find what distinguishes it at declare-done - #1944

Merged
The01Geek merged 9 commits into
mainfrom
issue-1827-incomplete-edit-costs-about-one-extra-iteration
Aug 25, 2026
Merged

The01Geek merged 9 commits into
mainfrom
issue-1827-incomplete-edit-costs-about-one-extra-iteration

Commits

Commits on Aug 25, 2026