Skip to content

Comments

Revert "Add flexibility around server instructions for search-related tools"#1187

Merged
tommaso-moro merged 1 commit intomainfrom
revert-1181-tommy/server-instructions-enhancement
Oct 7, 2025
Merged

Revert "Add flexibility around server instructions for search-related tools"#1187
tommaso-moro merged 1 commit intomainfrom
revert-1181-tommy/server-instructions-enhancement

Commits

Commits on Oct 7, 2025