feat(tools): add selectable edit formats - #820

Merged

matthewyjiang merged 10 commits into

mainfrom

feat/selectable-edit-tools

Aug 8, 2026

Commits on Aug 8, 2026

feat(tools): add selectable edit formats
matthewyjiang
committed
31aae58
fix(tools): harden edit transactions
matthewyjiang
committed
47ea3d4
fix(tools): cut 0.13.0 for selectable edit formats
matthewyjiang
committed
04be3f5
fix(ci): path-patch full internal closure for publish prep
matthewyjiang
committed
703e5f4
refactor(tools): give str_replace a unique tool name
matthewyjiang
committed
713d427
fix(ci): deflake concurrent claude stdin/stdout drain test
matthewyjiang
committed
e80a2b4
refactor(tools): rename edit_file module to str_replace
matthewyjiang
committed
bf31ce2
docs(tools): mark legacy edit_file alias as next-major debt
matthewyjiang
committed
a8c7750
fix(tools): harden edit mutations and tighten review nits
matthewyjiang
committed
2ef3ceb
style: apply rustfmt to fix CI formatting check
matthewyjiang
committed
1b2044c