Skip to content

Tommy/(Bug-fix): adjust tool description to account for author in prompt#658

Merged
tommaso-moro merged 4 commits intogithub:mainfrom
tommaso-moro:tommy/pull-requests-priority-3-fix
Jul 11, 2025
Merged

Tommy/(Bug-fix): adjust tool description to account for author in prompt#658
tommaso-moro merged 4 commits intogithub:mainfrom
tommaso-moro:tommy/pull-requests-priority-3-fix

Commits

Commits on Jul 10, 2025