feat: add MCP server configuration for GitHub in devcontainer and remove from settings

This commit is contained in:
Peter Wood
2025-05-18 08:16:54 -04:00
parent fb657d1267
commit d0486671cb
2 changed files with 18 additions and 18 deletions

View File

@@ -49,6 +49,24 @@
"[astro]": {
"editor.defaultFormatter": "astro-build.astro-vscode"
},
"mcp": {
"servers": {
"github": {
"command": "docker",
"args": [
"run",
"-i",
"--rm",
"-e",
"GITHUB_PERSONAL_ACCESS_TOKEN=${env:GITHUB_PERSONAL_ACCESS_TOKEN}",
"ghcr.io/github/github-mcp-server"
],
"env": {
"GITHUB_PERSONAL_ACCESS_TOKEN": "${env:GITHUB_PERSONAL_ACCESS_TOKEN}"
}
}
}
},
"[json]": {
"editor.defaultFormatter": "biomejs.biome"
},

18
.vscode/settings.json vendored
View File

@@ -18,23 +18,5 @@
"port": "443",
"baseUrl": "https://finance-app-production.example.com/api"
}
},
"mcp": {
"servers": {
"github": {
"command": "docker",
"args": [
"run",
"-i",
"--rm",
"-e",
"GITHUB_PERSONAL_ACCESS_TOKEN=${env:GITHUB_PERSONAL_ACCESS_TOKEN}",
"ghcr.io/github/github-mcp-server"
],
"env": {
"GITHUB_PERSONAL_ACCESS_TOKEN": "${env:GITHUB_PERSONAL_ACCESS_TOKEN}"
}
}
}
}
}