Skip to content

change some descriptions #23

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 2 commits into from
Mar 19, 2025
Merged

change some descriptions #23

merged 2 commits into from
Mar 19, 2025

Conversation

juruen
Copy link
Collaborator

@juruen juruen commented Mar 19, 2025

Context

This addresses #22 and tries to improve the descriptions of the tools to match those in the original server.

@Copilot Copilot AI review requested due to automatic review settings March 19, 2025 08:38
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 pull request updates the descriptions for various GitHub tools to align more closely with the original server descriptions.

  • Updated tool descriptions for clarity and consistency.
  • Added "GitHub" to descriptive texts in tool initialization.
  • Detected a typographical error in the tool description for creating a repository.

Reviewed Changes

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

File Description
pkg/github/repositories.go Updated tool descriptions; typo in repository creation tool.
pkg/github/server.go Updated description for the authenticated GitHub user tool.
pkg/github/issues.go Updated descriptions for issue-related tools.

Tip: Copilot code review supports C#, Go, Java, JavaScript, Markdown, Python, Ruby and TypeScript, with more languages coming soon. Learn more

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Copy link
Collaborator

@SamMorrowDrums SamMorrowDrums left a comment

Choose a reason for hiding this comment

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

Nice, I suppose I should also improve the resource descriptions.

@juruen juruen merged commit 031dd74 into main Mar 19, 2025
3 checks passed
@juruen juruen deleted the juruen/descriptions branch March 19, 2025 12:35
manian0430 pushed a commit to ChrisLally/github-mcp-server that referenced this pull request Apr 12, 2025
* change some descriptions

* Update pkg/github/repositories.go

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

---------

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
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