- Notifications
You must be signed in to change notification settings - Fork2.7k
Add MCP Registry server file#1128
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
Adds a new server configuration file that defines the GitHub MCP server registry entry, including Docker deployment settings and environment requirements.
- Introduces server.json with MCP schema compliance for server registration
- Configures Docker-based deployment with required runtime arguments and environment variables
- Sets up remote connection endpoint for the GitHub Copilot API
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.
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
0ca30ec
intomainUh oh!
There was an error while loading.Please reload this page.
Add MCP Registry server file
This pull request introduces a new
server.json
file that defines the configuration for the GitHub MCP server. The configuration provides metadata, package details for running the server as a Docker container, required environment variables, and remote connection settings.