get_pull_request
Retrieve comprehensive details for any GitHub pull request, including mergeability status and metadata, by specifying owner, repository, and pull request number.
Instructions
Get detailed information about a specific pull request (includes status like mergeable)
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | ||
| owner | Yes | ||
| pull_number | Yes |