Skip to content

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

Merged
pelikhan merged 3 commits intomainfrom
copilot/fix-docs-build
Apr 23, 2026
Merged

Fix docs build by updating stale GitHub tools anchor links#27931
pelikhan merged 3 commits intomainfrom
copilot/fix-docs-build

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented Apr 22, 2026

  • Inspect failing docs workflow logs and identify broken links
  • Update invalid #github-tools-remote-mode anchors to the current section anchor
  • Run docs build validation
  • Run required full pre-commit validation (make agent-finish)
  • Remove unrelated lockfile-only changes from the branch
  • Commit and push the fix

Copilot AI and others added 2 commits April 22, 2026 23:37
This reverts commit 89d24d9.

Co-authored-by: pelikhan <4175913+pelikhan@users.noreply.github.com>
Copilot AI requested a review from pelikhan April 22, 2026 23:51
@pelikhan pelikhan marked this pull request as ready for review April 23, 2026 00:03
Copilot AI review requested due to automatic review settings April 23, 2026 00:03
@pelikhan pelikhan merged commit 3be2c45 into main Apr 23, 2026
4 checks passed
@pelikhan pelikhan deleted the copilot/fix-docs-build branch April 23, 2026 00:03
Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Updates documentation links to fix a failing docs build caused by stale anchor references in the GitHub tools reference page.

Changes:

  • Replaced references to the removed #github-tools-remote-mode anchor with #github-tools-access-modes.
  • Updated links in token reference docs and the MCP getting-started guide to point at the correct GitHub tools section.
  • Adjusted an in-page link in github-tools.md to use the current anchor.
Show a summary per file
File Description
docs/src/content/docs/reference/tokens.md Updates the “remote mode” link to the current GitHub Tools Access Modes section anchor.
docs/src/content/docs/reference/github-tools.md Fixes an internal anchor link to point at #github-tools-access-modes.
docs/src/content/docs/guides/getting-started-mcp.md Fixes the “Remote vs Local Mode” link to the updated anchor in the GitHub tools reference.

Copilot's findings

Tip

Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

  • Files reviewed: 3/3 changed files
  • Comments generated: 0

This was referenced Apr 23, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants