get_pull_request
Retrieve detailed information about a specific pull request in a GitHub repository by providing the owner, repository name, and pull request number.
Instructions
Get details of a specific pull request in a GitHub repository
Input Schema
Name | Required | Description | Default |
---|---|---|---|
owner | Yes | Repository owner (username or organization) | |
pull_number | Yes | Pull request number | |
repo | Yes | Repository name |
Input Schema (JSON Schema)
You must be authenticated.
Other Tools from Github Project Manager
- add_issue_comment
- add_project_item
- create_issue
- create_project
- create_pull_request
- create_pull_request_review
- create_pull_request_review_comment
- get_issue
- get_pull_request
- is_pull_request_merged
- list_issues
- list_project_items
- list_pull_request_review_comments
- list_pull_request_reviews
- list_pull_requests
- merge_pull_request
- remove_requested_reviewers
- request_reviewers
- update_issue
- update_project_item
- update_pull_request
- update_pull_request_branch
Related Tools
- @containerelic/github-enterprise-mcp
- @Monsoft-Solutions/model-context-protocols
- @normal-coder/gitee-mcp-server
- @modelcontextprotocol/github
- @AstroMined/pygithub-mcp-server