GitHub MCP Server

Overview InspectNew Endpoints Schema Related Servers Reviews Score

get_pull_request

Retrieve detailed information about a specific pull request by specifying the repository owner, repository name, and pull request number.

Instructions

Get details of a specific pull request

Input Schema

Name	Required	Description
`owner`	Yes	Repository owner (username or organization)
`pull_number`	Yes	Pull request number
`repo`	Yes	Repository name

Input Schema (JSON Schema)

{
  "$schema": "http://json-schema.org/draft-07/schema#",
  "additionalProperties": false,
  "properties": {
    "owner": {
      "description": "Repository owner (username or organization)",
      "type": "string"
    },
    "pull_number": {
      "description": "Pull request number",
      "type": "number"
    },
    "repo": {
      "description": "Repository name",
      "type": "string"
    }
  },
  "required": [
    "owner",
    "repo",
    "pull_number"
  ],
  "type": "object"
}

This server cannot be installed

Other Tools from GitHub MCP Server

Related Tools

get-pull-request
@ddukbg/github-enterprise-mcp
get_github_pr_content
@saidsef/mcp-github-pr-issue-analyser
get_pull_request_details
@kaiyuanxiaobing/atomgit-mcp-server
get_pull_request
@normal-coder/gitee-mcp-server
get_pull_request_diff
@MissionSquad/mcp-github
get_pull_request_reviews
@tuanle96/mcp-github

MCP directory API

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/tuanle96/mcp-github'

If you have feedback or need assistance with the MCP directory API, please join our Discord server