github_get_pull_request
Retrieve details of a specific pull request by providing repository owner, name, and pull request number. Access comprehensive information about PR status, changes, and metadata.
Instructions
Get details of a specific pull request
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | Repository name | |
| owner | Yes | Repository owner username | |
| pull_number | Yes | Pull request number |