github / github/github-mcp-server

Add installation and configuration documentation for Antigravity CLI

未關閉
#2,529 0 則留言 4 個 reaction 已指派 0 人 在 GitHub 檢視
enhancement request ai review
主要語言
Go
星號
33k
分支
5k
平均合併
2 天 1 小時
30 天內合併 PR
52

描述

### Describe the feature or problem you’d like to solve

Google recently announced the transition from Gemini CLI to the new Antigravity CLI, with the deprecation of Gemini CLI for free and Pro/Ultra tiers taking effect on June 18, 2026.

Currently, the official repository documentation in `docs/installation-guides/install-antigravity.md` only covers installation steps for the Antigravity IDE. While the core MCP configuration format is similar, Antigravity CLI uses completely different configuration file paths and directories compared to the desktop IDE. Without explicit documentation for the CLI, users migrating from Gemini CLI will struggle to locate where to place their `mcp_config.json` files.

### Proposed solution

We propose updating the documentation to explicitly include setup instructions for the **Antigravity CLI**, either by adding a dedicated section to `install-antigravity.md` or creating a standalone guide.

The documentation should highlight the correct configuration paths and parameters unique to the CLI:

#### 1. Configuration File Locations for Antigravity CLI

* **Global Configuration:** `~/.gemini/antigravity-cli/mcp_config.json`
* **Workspace Configuration:** `.agents/mcp_config.json`

#### 2. Configuration Setup Options

The guide should provide both setup methods compatible with the CLI architecture:

##### Option 1: Remote Server Configuration

```json
{
"mcpServers": {
"github": {
"serverUrl": "https://api.githubcopilot.com/mcp/",
"headers": {
"Authorization": "Bearer YOUR_GITHUB_PAT"
}
}
}
}

```

*(Note: Emphasize that `serverUrl` is strictly required instead of `url` or `httpUrl`)*

##### Option 2: Local Docker Server Configuration

```json
{
"mcpServers": {
"github": {
"command": "docker",
"args": [
"run",
"-i",
"--rm",
"-e",
"GITHUB_PERSONAL_ACCESS_TOKEN",
"ghcr.io/github/github-mcp-server"
],
"env": {
"GITHUB_PERSONAL_ACCESS_TOKEN": "YOUR_GITHUB_PAT"
}
}
}
}

```

#### 3. CLI Management Commands

Include a mention of the built-in management commands inside the Antigravity CLI terminal interface to check status:

* Use `/mcp` to list and manage active MCP servers.

### Example prompts or workflows (for tools/toolsets only)

*Not applicable as this is a documentation improvement request. However, it enables the following user workflow within the new CLI environment:*

1. User initializes a project using Antigravity CLI.
2. User runs `/mcp` to check connected servers, notices GitHub is missing.
3. User follows the updated guide to create `.agents/mcp_config.json` in their repository root.
4. User runs a terminal command like: `Please review my latest open PRs on GitHub and summarize the changes.`

### Additional context

For more details on the ecosystem migration, architecture, and configuration differences, please see the official resources below:

* **Official Migration Announcement:** [An Important Update: Transitioning Gemini CLI to Antigravity CLI](https://developers.googleblog.com/an-important-update-transitioning-gemini-cli-to-antigravity-cli/)
* **Community Discussion & Lifecycle Timeline:** [Gemini CLI GitHub Discussion #27274](https://github.com/google-gemini/gemini-cli/discussions/27274)
* **Antigravity CLI Usage Guide:** [Using Antigravity CLI Documentation](https://antigravity.google/docs/cli-using)
* **Configuration Migration Reference:** [Gemini CLI to Antigravity CLI Migration Guide](https://antigravity.google/docs/gcli-migration)

貢獻指南

開啟貢獻指南

評估

這個 Issue 還沒有評估資料。

把新 issue 寄到你的電子郵件信箱

精選適合新手參與的 GitHub issue 摘要。