Skip to content

Generate documentation #602

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jun 27, 2025
Merged

Generate documentation #602

merged 1 commit into from
Jun 27, 2025

Conversation

SamMorrowDrums
Copy link
Collaborator

Adds a script, workflow and updates the documentation to be both generated and deterministic so that we don't forget to update it.

@Copilot Copilot AI review requested due to automatic review settings June 27, 2025 14:06
@SamMorrowDrums SamMorrowDrums requested a review from a team as a code owner June 27, 2025 14:06
Copy link
Contributor

@Copilot 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

This PR aims to automate the generation and updating of documentation for GitHub MCP tools and toolsets. Key changes include:

  • Adding a Go script (generate_docs.go) to generate README sections automatically.
  • Updating the README.md file with clearly demarcated automated sections.
  • Introducing a GitHub workflow to enforce documentation consistency.

Reviewed Changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated 1 comment.

File Description
cmd/github-mcp-server/generate_docs.go New documentation generator script using mocked clients and automated section replacement.
README.md Updated API and tool documentation with automated sections markers.
.github/workflows/docs-check.yml New GitHub Actions workflow to check for documentation consistency on PRs.

@SamMorrowDrums SamMorrowDrums force-pushed the auto-documentation branch 7 times, most recently from dcdc124 to 514db47 Compare June 27, 2025 14:49
JoannaaKL
JoannaaKL previously approved these changes Jun 27, 2025
@SamMorrowDrums SamMorrowDrums merged commit e9c8b40 into main Jun 27, 2025
17 checks passed
@SamMorrowDrums SamMorrowDrums deleted the auto-documentation branch June 27, 2025 15:00
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.

2 participants