Skip to content

Fix docs build by updating stale GitHub tools anchor links #27931

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.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
pelikhan merged 3 commits into from
Apr 23, 2026
+3 −3
Merged

Fix docs build by updating stale GitHub tools anchor links #27931

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
89d24d9
chore: start docs build fix investigation
Copilot Apr 22, 2026
da3fa3d
docs: fix stale github-tools remote mode anchor links
Copilot Apr 22, 2026
7c21ce9
Revert "chore: start docs build fix investigation"
Copilot Apr 22, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion docs/src/content/docs/guides/getting-started-mcp.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -101,7 +101,7 @@ The `default` toolset includes: `context`, `repos`, `issues`, `pull_requests`. W

### Operating Modes

Remote mode (`mode: remote`) connects to a hosted server for faster startup with no Docker required. Local mode (`mode: local`) runs in Docker, enabling version pinning for offline or restricted environments. See [Remote vs Local Mode](/gh-aw/reference/github-tools/#github-tools-remote-mode).
Remote mode (`mode: remote`) connects to a hosted server for faster startup with no Docker required. Local mode (`mode: local`) runs in Docker, enabling version pinning for offline or restricted environments. See [Remote vs Local Mode](/gh-aw/reference/github-tools/#github-tools-access-modes).

The GitHub MCP server always operates read-only. Write operations are handled through [safe outputs](/gh-aw/reference/safe-outputs/), which run in a separate permission-controlled job.

Expand Down
2 changes: 1 addition & 1 deletion docs/src/content/docs/reference/github-tools.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -132,7 +132,7 @@ This is required when your workflow requires any of the following:
- Read access to GitHub org or user information
- Read access to other private repos
- Read access to projects
- GitHub tools [Remote Mode](#github-tools-remote-mode)
- GitHub tools [Remote Mode](#github-tools-access-modes)

### Using a Personal Access Token (PAT)

Expand Down
2 changes: 1 addition & 1 deletion docs/src/content/docs/reference/tokens.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -118,7 +118,7 @@ The primary token for authenticating GitHub API operations through the [GitHub M
| Property | Value |
|---|---|
| **Source** | User-created PAT stored as repository secret |
| **Required** | Depends on mode — required for [remote mode](/gh-aw/reference/github-tools/#github-tools-remote-mode) and [lockdown mode](/gh-aw/reference/lockdown-mode/) |
| **Required** | Depends on mode — required for [remote mode](/gh-aw/reference/github-tools/#github-tools-access-modes) and [lockdown mode](/gh-aw/reference/lockdown-mode/) |
| **Permissions** | Depends on [toolsets](/gh-aw/reference/github-tools/#github-toolsets) used (e.g., repo scope for repos toolset, project scope for projects) |
| **Fallback** | `GH_AW_GITHUB_TOKEN` → `GITHUB_TOKEN` |
| **Used by** | GitHub MCP server (local and remote modes), guard policy enforcement |
Expand Down
Loading