Get Pull Request Tool
get_pull_request_toolFetch details for one GitHub pull request by number and repository to review changes, comments, and status.
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 | |||