Include user comments and tool attempts in fix prompts#622
Merged
wesm merged 28 commits intoroborev-dev:mainfrom Apr 5, 2026
Merged
Include user comments and tool attempts in fix prompts#622wesm merged 28 commits intoroborev-dev:mainfrom
wesm merged 28 commits intoroborev-dev:mainfrom
Commits
Commits on Apr 3, 2026
- andcommitted

- andcommitted

- andcommitted

- andcommitted

- andcommitted

- andcommitted

- andcommitted

- andcommitted

- andcommitted

- andcommitted

- andcommitted

- andcommitted

- andcommitted

- andcommitted

- andcommitted

- andcommitted

- andcommitted

- andcommitted

- andcommitted

- andcommitted

- andcommitted

- andcommitted

Commits on Apr 5, 2026
- andcommitted

- andcommitted

- andcommitted

- andcommitted

- andcommitted

- andcommitted
