Skip to content

Add title field to discussion in get_discussion tool#803

Merged
tommaso-moro merged 1 commit intogithub:mainfrom
tommaso-moro:tommy/add-title-to-get-discussion-tool
Aug 1, 2025
Merged

Add title field to discussion in get_discussion tool#803
tommaso-moro merged 1 commit intogithub:mainfrom
tommaso-moro:tommy/add-title-to-get-discussion-tool

Commits

Commits on Aug 1, 2025