Skip to content

chore: update readme for tool parititioning - #274

Merged
SamMorrowDrums merged 3 commits into
mainfrom
patition-tools-readme
Apr 17, 2025
Merged

chore: update readme for tool parititioning#274
SamMorrowDrums merged 3 commits into
mainfrom
patition-tools-readme

Conversation

@SamMorrowDrums

Copy link
Copy Markdown
Collaborator

To avoid confusion, keep the readme update to right before semver release.

CopilotAI review requested due to automatic review settings April 14, 2025 22:58

CopilotAI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

This pull request updates the README.md to clarify the configuration of toolsets for the GitHub MCP Server, aiming to reduce confusion before a semver release.

  • Added a new "Tool Configuration" section describing available toolsets and modes of configuration.
  • Updated documentation for both command line and Docker usage.
  • Removed outdated sections related to search functionality.

Comment threadREADME.md Outdated
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Comment threadREADME.md

## GitHub Enterprise Server

The flag `--gh-host` and the environment variable `GH_HOST` can be used to set

Copy link
Copy Markdown
CollaboratorAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The env version of this may have changed in main, double check and update docs if required.

@SamMorrowDrumsSamMorrowDrums changed the title chore: update readme for tool paritioningchore: update readme for tool parititioningApr 15, 2025
@SamMorrowDrumsSamMorrowDrums added the documentation Improvements or additions to documentation label Apr 15, 2025
@SamMorrowDrums
SamMorrowDrums merged commit 8991436 into mainApr 17, 2025
@SamMorrowDrums
SamMorrowDrums deleted the patition-tools-readme branch April 17, 2025 10:52
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentationImprovements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants

@SamMorrowDrums@toby