Skip to content

Non existent get_line_number_in_pull_request_file tool #435

Description

@TheoBrigitte

Describe the bug

The add_pull_request_review_comment_to_pending_review tool mention the get_line_number_in_pull_request_file tool to be used to get line number. But this tool does not exists.

Affected version

Latest version: e9f748f246761fb0769e2a5611003939a6274872

Expected vs actual behavior

I expect the get_line_number_in_pull_request_file tool to be shown when listing tools.

One can find that this tool does not exists when querying the list of tools:

GITHUB_PERSONAL_ACCESS_TOKEN=TOKEN_HERE mcptools tools github-mcp-server stdio | grep -E '^\w+' | grep get_line_number_in_pull_request_file

mcptools used

Activity

  1. williammartin commented on May 26, 2025

    @williammartin
    Collaborator

    Thanks, that was totally my mistake from a previous exploration. Appreciate the fix.

    Did this actually cause an issue in your usage (did the LLM try to call it), or was it a manual discovery? Just figuring out the urgency of releasing something here.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't working

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions