- Notifications
You must be signed in to change notification settings - Fork3.1k
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 ourterms of service andprivacy statement. We’ll occasionally send you account related emails.
Already on GitHub?Sign in to your account
Uh oh!
There was an error while loading.Please reload this page.
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 newgithub_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 forcopilot_spaces andgithub_support_docs_search tools with installation links |
| README.md | Added detailed documentation section for the newgithub_support_docs_search tool |
Tip: Customize your code reviews with copilot-instructions.md.Create the file orlearn how to get started.
Uh oh!
There was an error while loading.Please reload this page.
Uh oh!
There was an error while loading.Please reload this page.
7b4b292 intomainUh oh!
There was an error while loading.Please reload this page.
* docs: add github_support_docs_search to REMOTE server* add copilot_spaces* fix typos* Add support tool to remote toolsets table
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