-
Couldn't load subscription status.
- Fork 2.9k
docs: New "GitHub Support Docs Search" tool #1225
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
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.
0b31c92
Uh oh!
There was an error while loading. Please reload this page.
Introduces new
github_support_docs_searchtool for retrieving documentation to answer GitHub product and support questions.Updated sections