[slides] Fix toolsets default comment in MCP Servers slide#26258
Merged
[slides] Fix toolsets default comment in MCP Servers slide#26258
Conversation
The 'default' toolset expands to: context, repos, issues, pull_requests, users. Update the comment in the MCP Servers slide to match the documentation. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
github-actions
bot
added
documentation
Collaborator
|
@copilot revert change, add xml comment to stop trying to add users |
Agent-Logs-Url: https://github.com/github/gh-aw/sessions/c5059dcf-6b54-438e-932f-c75445ef169f Co-authored-by: pelikhan <4175913+pelikhan@users.noreply.github.com>
Contributor
pelikhan
approved these changes
Apr 14, 2026
Contributor
There was a problem hiding this comment.
Pull request overview
This PR aims to update the “MCP Servers Configuration” slide so the toolsets: [default] inline comment accurately reflects what the default toolset expands to.
Changes:
- Adds a hidden HTML comment instructing not to include
usersin the slide’stoolsets: [default]expansion comment.
Show a summary per file
| File | Description |
|---|---|
docs/slides/index.md |
Adds a hidden instruction comment in the MCP Servers Configuration slide near the toolsets: [default] example. |
Copilot's findings
Tip
Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
Comments suppressed due to low confidence (1)
docs/slides/index.md:260
- This hidden HTML comment instructs readers/agents to omit
users, but the slide’s YAML comment still expandsdefaulttocontext, repos, issues, pull_requestswhich is inaccurate perdocs/src/content/docs/reference/github-tools.md(default also includesusers). This also contradicts the PR description stating the slide comment was updated to includeusers. Please either update the YAML comment to reflect the truedefaultexpansion (includingusers), or reword/remove the expansion comment to explicitly indicate it’s intentionally abbreviated (e.g., “includes … + users”).
<!-- agent: do not add 'users' to the toolsets comment; the slide intentionally omits it for brevity -->
```yaml
# GitHub MCP (recommended: use toolsets)
tools:
github:
toolsets: [default] # context, repos, issues, pull_requests
- Files reviewed: 1/1 changed files
- Comments generated: 0
This was referenced Apr 14, 2026
Closed
Merged
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Slide Deck Updates
Changes Made
toolsets: [default]comment in the MCP Servers Configuration slide to accurately list all toolsets included in thedefaultgroupLayout Issues Fixed
Content Sources Reviewed
pkg/constants/engine_constants.go— verified engine list (copilot, claude, codex, gemini)docs/src/content/docs/reference/github-tools.md— verified default toolset expansiondocs/src/content/docs/reference/engines.md— verified engine descriptionsdocs/src/content/docs/reference/staged-mode.md— checked for new contentDetail
The slide previously showed:
The documentation clearly states that
defaultexpands tocontext,repos,issues,pull_requests,users. Updated the comment to includeusers.Focus Mode
Global sweep
Verification: Slide content reviewed against source of truth documentation in
docs/src/content/docs/reference/github-tools.md.