- Notifications
You must be signed in to change notification settings - Fork1.4k
Include Copilot coding agent tool on the remote GitHub MCP server#656
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
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
This pull request adds integration with GitHub Copilot coding agent to the remote GitHub MCP server by introducing a new tool that allows users to invoke Copilot coding agent functionality through the MCP server.
- Introduces
create_pull_request_with_copilottool for invoking GitHub Copilot coding agent - Adds documentation for the new Copilot coding agent toolset in the remote server
- Updates README with detailed parameter documentation for the new tool
Reviewed Changes
Copilot reviewed 2 out of 2 changed files in this pull request and generated 1 comment.
| File | Description |
|---|---|
| docs/remote-server.md | Adds documentation for the new Copilot coding agent toolset with API URLs and installation links |
| README.md | Documents thecreate_pull_request_with_copilot tool parameters and usage |
Uh oh!
There was an error while loading.Please reload this page.
89bb928 intomainUh oh!
There was an error while loading.Please reload this page.
…rver (github#656)"This reverts commit89bb928.
This pull request introduces a new tool to the remote GitHub MCP server, that enables users to invokeGitHub Copilot coding agent with the remote GitHub MCP server, on any host application that supports it.