get_pull_request
Retrieve detailed information about a single pull request, including diff stats, mergeable state, and review status, to assess its readiness for merge.
Instructions
Get detail for one PR: diff stats, mergeable state, and review status.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | Repository name | |
| owner | Yes | Repository owner (user or org) | |
| pull_number | Yes |