Skip to content

[slides] Fix toolsets default comment to include users toolset#24336

Closed
github-actions[bot] wants to merge 1 commit intomainfrom
slides/fix-toolsets-default-comment-a2d4691f464fd8db
Closed

[slides] Fix toolsets default comment to include users toolset#24336
github-actions[bot] wants to merge 1 commit intomainfrom
slides/fix-toolsets-default-comment-a2d4691f464fd8db

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

@github-actions github-actions Bot commented Apr 3, 2026

Slide Deck Updates

Changes Made

  • Fixed factual inaccuracy in the MCP Servers Configuration slide: the toolsets: [default] comment was missing the users toolset

Layout Issues Fixed

  • None detected (Marp build unavailable due to network restrictions; visual layout review skipped)

Content Sources Reviewed

  • docs/src/content/docs/reference/github-tools.md — confirmed default toolset expands to context, repos, issues, pull_requests, users
  • docs/src/content/docs/reference/engines.md — verified engines (copilot, claude, codex, gemini) all still accurate
  • docs/src/content/docs/guides/ephemerals.md — new stop-after and safe-output expiration features noted
  • docs/src/content/docs/guides/memoryops.md — MemoryOps patterns documented (cache-memory slide accurate)
  • docs/src/content/docs/guides/web-search.md — Tavily MCP pattern (not in slides, no change needed)
  • docs/src/content/docs/guides/serena.mdtools.serena removed, now uses shared workflow import (not referenced in slides)
  • docs/src/content/docs/guides/agentic-authoring.mdx — getting started flow verified accurate

Focus Mode

Global Sweep


Verification: Content manually verified against reference documentation. Marp build skipped due to network restrictions in the runner environment.

Generated by Slide Deck Maintainer · ● 1.2M ·

  • expires on Apr 4, 2026, 4:26 PM UTC

The default GitHub toolset expands to context, repos, issues,
pull_requests, and users - the comment was missing the users toolset.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@github-actions github-actions Bot added documentation Improvements or additions to documentation slides labels Apr 3, 2026
@pelikhan pelikhan closed this Apr 3, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation slides

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant