repo-assist: broader labeling, forward-progress task, report format enforcement, prose reduction, round-robin scheduling#188
Merged
Commits
Commits on Feb 22, 2026
- committed
- andcommitted
- authored
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- authored
- andcommitted
- andcommitted