Skip to content

Commit 116ca69

Browse files
remove duplicate github tools (#13)
fix server error for Error: failed to add tools: duplicate tool: github_issues
1 parent 4aab039 commit 116ca69

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

cmd/server.go

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -121,7 +121,6 @@ func setupTools(logger goaiObs.Logger) []mcp.Tool {
121121

122122
// GitHub tools
123123
ghConfig.GetIssuesTool(),
124-
ghConfig.GetIssuesTool(),
125124
ghConfig.GetPullRequestsTool(),
126125
ghConfig.GetRepositoryTool(),
127126
ghConfig.GetSearchTool(),

0 commit comments

Comments
 (0)