From eff8c0772bfbd6bceb4abdbec28a4310e06e85fa Mon Sep 17 00:00:00 2001 From: marz Date: Wed, 15 Oct 2025 11:39:42 -0400 Subject: [PATCH 1/7] Add gemini manifest --- gemini-extension.json | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 gemini-extension.json diff --git a/gemini-extension.json b/gemini-extension.json new file mode 100644 index 000000000..81de69dc8 --- /dev/null +++ b/gemini-extension.json @@ -0,0 +1,12 @@ +{ + "name": "github", + "version": "1.0.0", + "mcpServers": { + "github": { + "httpUrl": "https://api.githubcopilot.com/mcp", + "headers": { + "Authorization": "Bearer $GITHUB_MCP_PAT" + } + } + } +} From f1d8bbfd9af245d1e086ba80b77ffb590e3c9c82 Mon Sep 17 00:00:00 2001 From: marz Date: Wed, 15 Oct 2025 12:02:10 -0400 Subject: [PATCH 2/7] update gemini cli docs --- .../installation-guides/install-gemini-cli.md | 24 +++++++------------ 1 file changed, 8 insertions(+), 16 deletions(-) diff --git a/docs/installation-guides/install-gemini-cli.md b/docs/installation-guides/install-gemini-cli.md index 1a55c1171..a357743ee 100644 --- a/docs/installation-guides/install-gemini-cli.md +++ b/docs/installation-guides/install-gemini-cli.md @@ -14,7 +14,7 @@ For security, avoid hardcoding your token. Create or update `~/.gemini/.env` (wh ```bash # ~/.gemini/.env -GITHUB_PAT=your_token_here +GITHUB_MCP_PAT=your_token_here ``` @@ -32,21 +32,13 @@ After securely storing your PAT, you can add the GitHub MCP server configuration ### Method 1: Remote Server (Recommended) -The simplest way is to use GitHub's hosted MCP server: +The simplest way is to use GitHub's hosted MCP server via our gemini extension. + +`gemini extensions install https://github.com/github/github-mcp-server` + +> [!NOTE] +> You will still need to have a personal access token with the appropriate scopes called `GITHUB_MCP_PAT` in your environment. -```json -// ~/.gemini/settings.json -{ - "mcpServers": { - "github": { - "httpUrl": "https://api.githubcopilot.com/mcp/", - "headers": { - "Authorization": "Bearer $GITHUB_PAT" - } - } - } -} -``` ### Method 2: Local Docker @@ -88,7 +80,7 @@ Then, replacing `/path/to/binary` with the actual path to your binary, configure "command": "/path/to/binary", "args": ["stdio"], "env": { - "GITHUB_PERSONAL_ACCESS_TOKEN": "$GITHUB_PAT" + "GITHUB_PERSONAL_ACCESS_TOKEN": "$GITHUB_MCP_PAT" } } } From b3a33bf155cd0b5d03b8fdfc16eff265749f97a1 Mon Sep 17 00:00:00 2001 From: marz Date: Wed, 15 Oct 2025 13:33:05 -0400 Subject: [PATCH 3/7] update docker PAT env name --- docs/installation-guides/install-gemini-cli.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/installation-guides/install-gemini-cli.md b/docs/installation-guides/install-gemini-cli.md index a357743ee..9e5ec67cc 100644 --- a/docs/installation-guides/install-gemini-cli.md +++ b/docs/installation-guides/install-gemini-cli.md @@ -59,7 +59,7 @@ With docker running, you can run the GitHub MCP server in a container: "ghcr.io/github/github-mcp-server" ], "env": { - "GITHUB_PERSONAL_ACCESS_TOKEN": "$GITHUB_PAT" + "GITHUB_PERSONAL_ACCESS_TOKEN": "$GITHUB_MCP_PAT" } } } From f6d964795d5b70c6c1a74bde7af014c13545b9c6 Mon Sep 17 00:00:00 2001 From: marz Date: Wed, 15 Oct 2025 16:52:52 -0400 Subject: [PATCH 4/7] Add trailing `/` for consistency Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com> --- gemini-extension.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gemini-extension.json b/gemini-extension.json index 81de69dc8..3c494c14f 100644 --- a/gemini-extension.json +++ b/gemini-extension.json @@ -3,7 +3,7 @@ "version": "1.0.0", "mcpServers": { "github": { - "httpUrl": "https://api.githubcopilot.com/mcp", + "httpUrl": "https://api.githubcopilot.com/mcp/", "headers": { "Authorization": "Bearer $GITHUB_MCP_PAT" } From a10eb791938289b332798c4ecc09ae7867dba5d7 Mon Sep 17 00:00:00 2001 From: marz Date: Thu, 16 Oct 2025 15:33:01 -0400 Subject: [PATCH 5/7] Add MCP Server description --- gemini-extension.json | 1 + 1 file changed, 1 insertion(+) diff --git a/gemini-extension.json b/gemini-extension.json index 3c494c14f..d4f6b60cf 100644 --- a/gemini-extension.json +++ b/gemini-extension.json @@ -3,6 +3,7 @@ "version": "1.0.0", "mcpServers": { "github": { + "description": "Connect AI assistants to GitHub - manage repos, issues, PRs, and workflows through natural language.", "httpUrl": "https://api.githubcopilot.com/mcp/", "headers": { "Authorization": "Bearer $GITHUB_MCP_PAT" From 75c42b7716d652dc1f0f19b911d53c53de752700 Mon Sep 17 00:00:00 2001 From: marz Date: Thu, 16 Oct 2025 15:38:17 -0400 Subject: [PATCH 6/7] Readd remote manual steps --- .../installation-guides/install-gemini-cli.md | 21 +++++++++++++++++-- 1 file changed, 19 insertions(+), 2 deletions(-) diff --git a/docs/installation-guides/install-gemini-cli.md b/docs/installation-guides/install-gemini-cli.md index 9e5ec67cc..9294958df 100644 --- a/docs/installation-guides/install-gemini-cli.md +++ b/docs/installation-guides/install-gemini-cli.md @@ -39,8 +39,25 @@ The simplest way is to use GitHub's hosted MCP server via our gemini extension. > [!NOTE] > You will still need to have a personal access token with the appropriate scopes called `GITHUB_MCP_PAT` in your environment. +### Method 2: Manual Remote Server -### Method 2: Local Docker +You can also connect to the hosted MCP server directly. After securely storing your PAT, configure Gemini CLI with: + +```json +// ~/.gemini/settings.json +{ + "mcpServers": { + "github": { + "httpUrl": "https://api.githubcopilot.com/mcp/", + "headers": { + "Authorization": "Bearer $GITHUB_MCP_PAT" + } + } + } +} +``` + +### Method 3: Local Docker With docker running, you can run the GitHub MCP server in a container: @@ -66,7 +83,7 @@ With docker running, you can run the GitHub MCP server in a container: } ``` -### Method 3: Binary +### Method 4: Binary You can download the latest binary release from the [GitHub releases page](https://github.com/github/github-mcp-server/releases) or build it from source by running `go build -o github-mcp-server ./cmd/github-mcp-server`. From 227e1910880f17eff923e37ff7d145a2f32166d7 Mon Sep 17 00:00:00 2001 From: marz Date: Thu, 16 Oct 2025 15:39:53 -0400 Subject: [PATCH 7/7] Clarify method names --- docs/installation-guides/install-gemini-cli.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/installation-guides/install-gemini-cli.md b/docs/installation-guides/install-gemini-cli.md index 9294958df..20764384c 100644 --- a/docs/installation-guides/install-gemini-cli.md +++ b/docs/installation-guides/install-gemini-cli.md @@ -30,7 +30,7 @@ After securely storing your PAT, you can add the GitHub MCP server configuration > **Note:** For the most up-to-date configuration options, see the [main README.md](../../README.md). -### Method 1: Remote Server (Recommended) +### Method 1: Gemini Extension (Recommended) The simplest way is to use GitHub's hosted MCP server via our gemini extension. @@ -39,7 +39,7 @@ The simplest way is to use GitHub's hosted MCP server via our gemini extension. > [!NOTE] > You will still need to have a personal access token with the appropriate scopes called `GITHUB_MCP_PAT` in your environment. -### Method 2: Manual Remote Server +### Method 2: Remote Server You can also connect to the hosted MCP server directly. After securely storing your PAT, configure Gemini CLI with: