Skip to content

chore: remove duplicate servers#76

Merged
JAORMX merged 1 commit intomainfrom
chore/remove-dupes
Aug 28, 2025
Merged

chore: remove duplicate servers#76
JAORMX merged 1 commit intomainfrom
chore/remove-dupes

Conversation

@danbarr
Copy link
Copy Markdown
Contributor

@danbarr danbarr commented Aug 28, 2025

Removing a few dupes

Signed-off-by: Dan Barr 6922515+danbarr@users.noreply.github.com

Signed-off-by: Dan Barr <6922515+danbarr@users.noreply.github.com>
@github-actions
Copy link
Copy Markdown
Contributor

🔧 MCP Server Tool List Updates

The tool lists for modified MCP server specs have been automatically updated using thv mcp list.

Summary

Server Status Details
Processing results...

This comment is automatically generated and will be updated as the workflow progresses.

@JAORMX JAORMX merged commit a0e120e into main Aug 28, 2025
9 checks passed
@danbarr danbarr deleted the chore/remove-dupes branch August 28, 2025 22:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants