Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

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

Merged
LuluBeatson merged 5 commits intomainfromdocs/github-support-docs-search
Oct 15, 2025

Conversation

@LuluBeatson
Copy link
Contributor

@LuluBeatsonLuluBeatson commentedOct 15, 2025
edited
Loading

Introduces newgithub_support_docs_search tool for retrieving documentation to answer GitHub product and support questions.

Updated sections

@LuluBeatsonLuluBeatson marked this pull request as ready for reviewOctober 15, 2025 11:50
@LuluBeatsonLuluBeatson requested a review froma team as acode ownerOctober 15, 2025 11:50
CopilotAI review requested due to automatic review settingsOctober 15, 2025 11:50
Copy link
Contributor

CopilotAI left a 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 newgithub_support_docs_search tool in both README.md and remote-server.md
  • Added missingcopilot_spaces tool 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.

FileDescription
docs/remote-server.mdAdded table entries forcopilot_spaces andgithub_support_docs_search tools with installation links
README.mdAdded 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.

omgitsads
omgitsads previously approved these changesOct 15, 2025
tommaso-moro
tommaso-moro previously approved these changesOct 15, 2025
@LuluBeatsonLuluBeatson merged commit7b4b292 intomainOct 15, 2025
16 checks passed
@LuluBeatsonLuluBeatson deleted the docs/github-support-docs-search branchOctober 15, 2025 13:54
issei-m pushed a commit to issei-m/github-mcp-server that referenced this pull requestNov 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 freeto join this conversation on GitHub. Already have an account?Sign in to comment

Reviewers

Copilot code reviewCopilotCopilot left review comments

@omgitsadsomgitsadsomgitsads approved these changes

@tommaso-morotommaso-morotommaso-moro left review comments

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@LuluBeatson@omgitsads@tommaso-moro

[8]ページ先頭

©2009-2025 Movatter.jp