Skip to content

Conversation

@github-actions
Copy link
Contributor

Documentation Updates - January 24, 2026

This PR updates the documentation based on features merged in the last 24 hours.

Features Documented

  • GitHub App token minting for GitHub MCP server (from Add GitHub App token minting for GitHub MCP server #11660)
    • Added new "GitHub App Authentication" section in tools reference
    • Documents configuration with app-id and private-key
    • Explains benefits: short-lived tokens, automatic revocation, no PAT rotation
    • Includes setup instructions and shared workflow pattern
    • Documents token precedence and permission mapping

Changes Made

  • Updated docs/src/content/docs/reference/tools.md
    • Added comprehensive GitHub App authentication section after "Modes and Restrictions"
    • Includes configuration examples, benefits, setup instructions
    • Documents shared workflow pattern for reusable app configuration
    • Cross-references to GitHub Tokens page for complete auth options

Merged PRs Referenced

  • Add GitHub App token minting for GitHub MCP server #11660 - Add GitHub App token minting for GitHub MCP server (merged 2026-01-24T16:52:02Z)
    • Major feature: Enables GitHub App authentication for GitHub MCP server
    • Uses repository variables APP_ID and secret APP_PRIVATE_KEY
    • Automatic token minting at workflow start, invalidation at end
    • Permissions auto-mapped from job permissions field
    • Works with both local (Docker) and remote (hosted) modes

Other Notable PRs (Last 24 Hours)

Documentation-related PRs (already completed):

Internal improvements (no user-facing doc updates needed):

Notes

The GitHub App token minting feature (#11660) was the only user-facing feature requiring documentation updates from the last 24 hours. All other PRs were either:

  • Documentation updates themselves (already complete)
  • Internal refactoring/improvements (not user-visible)
  • Workflow/tooling changes (internal to the project)

The documentation follows GitHub Docs voice guidelines and includes:

  • Clear explanations of benefits and use cases
  • Step-by-step setup instructions
  • Configuration examples with proper syntax
  • Cross-references to related documentation
  • Notes about token precedence and behavior

AI generated by Daily Documentation Updater

Document the new GitHub App authentication feature for GitHub MCP server
added in PR #11660. This feature enables short-lived, automatically-revoked
tokens with automatic permission mapping from job permissions.

Key additions to tools reference:
- New "GitHub App Authentication" section
- Configuration with app-id and private-key
- Benefits: short-lived tokens, auto-revocation, no PAT rotation
- Setup instructions and shared workflow pattern
- Token precedence and permission mapping documentation

Co-Authored-By: Claude Sonnet 4.5 <noreply@anthropic.com>
@github-actions github-actions bot added automation documentation Improvements or additions to documentation labels Jan 24, 2026
@pelikhan pelikhan closed this Jan 24, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

automation documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants