get_pull_request
Fetch complete details for a pull request by providing owner, repo, and pull number. Use it to review PR status, changes, and metadata.
Instructions
Get details for a specific pull request.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | ||
| owner | Yes | ||
| pull_number | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |