Get Pull Request Tool
get_pull_request_toolRetrieve a single GitHub pull request by number from a specified repository to inspect its details, status, and metadata.
Instructions
Get a single GitHub pull request by number.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | Repository name | |
| owner | No | Repository owner (defaults to GITHUB_DEFAULT_ORG if unset) | |
| pull_number | Yes | Pull request number |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||