Skip to content

add experimental get_latest_version tool #172

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

Closed
wants to merge 1 commit into from

Conversation

juruen
Copy link
Collaborator

@juruen juruen commented Apr 8, 2025

Context

This is an experimental feature that adds a new tool to check whether there's a newer version of the GitHub MCP server available.

The purpose of this PR is to gather feedback on whether we would like to have something like this. I see this as a moderately useful, but temporary, feature until this problem is solved by better means.

It exposes a tool that does the job by checking the latest available version of the GitHub MCP server to compare it against the current version.

Here's in action:

Screenshot 2025-04-08 at 07 47 24

Screenshot 2025-04-08 at 07 47 31

Note that we could tweak the response to point to the README, or a section in the README about updating.

@Copilot Copilot AI review requested due to automatic review settings April 8, 2025 06:00
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 introduces an experimental tool to check if there is a newer version of the GitHub MCP server available.

  • Adds a new get_latest_version tool in the server and exposes it in the server's tool list.
  • Implements tests in pkg/github/server_test.go to validate version checking logic.
  • Updates README.md to document the new tool.

Reviewed Changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated no comments.

File Description
pkg/github/server_test.go Adds tests to verify the functionality of the get_latest_version tool.
pkg/github/server.go Implements the get_latest_version tool and integrates it into the server.
README.md Updates documentation to include the get_latest_version tool.
Comments suppressed due to low confidence (1)

pkg/github/server.go:121

  • The comment on line 121 incorrectly references 'getMe' instead of 'getLatestVersion'. Please update the comment to accurately describe the functionality of the get_latest_version tool.
// getMe creates a tool to get details of the authenticated user.

@SamMorrowDrums
Copy link
Collaborator

This is a really interesting idea! Love to know what @toby thinks of it too.

Sorry about renaming all the tools 😂

Choose a reason for hiding this comment

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

/describe

@juruen juruen marked this pull request as draft April 10, 2025 08:33
@juruen juruen closed this Apr 12, 2025
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.

3 participants