fix(gator): preserve resolved review feedback - #2533

Merged

drew merged 3 commits into

mainfrom

codex/fix-gator-feedback-ledger

Jul 30, 2026

Commits on Jul 28, 2026

fix(gator): preserve resolved review feedback
drew
committed

Commits on Jul 29, 2026

fix(gator): make follow-up reviews pragmatic
drew
committed

Commits on Jul 30, 2026

fix(gator): enforce review convergence
drew
committed