get_pull_request_tool
Retrieve a specific GitHub pull request by its number from a repository, with optional owner override.
Instructions
Get a single GitHub pull request by number.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | Repository name | |
| pull_number | Yes | Pull request number | |
| owner | No | Repository owner (defaults to GITHUB_DEFAULT_ORG if unset) |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||