[slides] Fix default toolsets comment in slides#22722
Conversation
The 'default' toolset expands to context, repos, issues, pull_requests. The 'users' toolset was incorrectly included - it is excluded because GitHub Actions tokens do not support user operations. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
There was a problem hiding this comment.
Pull request overview
Updates the slide deck’s GitHub MCP configuration example to correct the inline comment describing what toolsets: [default] expands to.
Changes:
- Removed
usersfrom the slide comment listing the expandeddefaultGitHub toolsets.
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
| tools: | ||
| github: | ||
| toolsets: [default] # context, repos, issues, pull_requests, users | ||
| toolsets: [default] # context, repos, issues, pull_requests |
There was a problem hiding this comment.
This slide now states that toolsets: [default] expands to context, repos, issues, pull_requests, but the reference docs currently say the default includes users (see docs/src/content/docs/reference/github-tools.md where it lists Default: context, repos, issues, pull_requests, users). To avoid conflicting guidance, either clarify in the slide that this is the GitHub Actions/action-friendly default, or align the reference documentation with the current DefaultGitHubToolsets behavior.
| toolsets: [default] # context, repos, issues, pull_requests | |
| toolsets: [default] # GitHub Actions–friendly default: context, repos, issues, pull_requests |
Slide Deck Updates
Changes Made
toolsets: [default]in the MCP Servers Configuration slideContent Sources Reviewed
pkg/workflow/github_toolsets.go— authoritative source showingdefaultexpands to["context", "repos", "issues", "pull_requests"]docs/src/content/docs/guides/getting-started-mcp.md— confirmsusersis excluded fromdefaultbecause GitHub Actions tokens don't support user operationsdocs/src/content/docs/reference/github-tools.mdfor toolset documentationFactual Error Fixed
The slide previously had:
Corrected to:
The
userstoolset was incorrectly listed. Per the code (DefaultGitHubToolsets) and documentation, thedefaulttoolset does not includeusersbecause GitHub Actions tokens do not support user operations.Layout Issues
No Playwright layout issues detected (build tools unavailable in this environment).
Focus Mode
Global Sweep
Verification: Content cross-checked against authoritative Go source code and documentation.