docs: New "GitHub Support Docs Search" tool #1225
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Contributor
There was a problem hiding this comment.
Pull Request Overview
Introduces a new github_support_docs_search tool to the remote GitHub MCP Server for retrieving documentation to answer GitHub product and support questions. This expands the available toolset with documentation search capabilities covering topics like GitHub Actions, authentication, and other GitHub features.
Key changes:
- Added documentation for the new
github_support_docs_searchtool in both README.md and remote-server.md - Added missing
copilot_spacestool entry to the remote server documentation table
Reviewed Changes
Copilot reviewed 2 out of 2 changed files in this pull request and generated 2 comments.
| File | Description |
|---|---|
| docs/remote-server.md | Added table entries for copilot_spaces and github_support_docs_search tools with installation links |
| README.md | Added detailed documentation section for the new github_support_docs_search tool |
Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.
omgitsads
previously approved these changes
Oct 15, 2025
tommaso-moro
previously approved these changes
Oct 15, 2025
LuluBeatson
dismissed stale reviews from tommaso-moro and omgitsads
via
0b31c92
omgitsads
approved these changes
Oct 15, 2025
issei-m
pushed a commit
to issei-m/github-mcp-server
that referenced
this pull request
Nov 14, 2025
* docs: add github_support_docs_search to REMOTE server * add copilot_spaces * fix typos * Add support tool to remote toolsets table
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Introduces new
github_support_docs_searchtool for retrieving documentation to answer GitHub product and support questions.Updated sections