get_pr
Retrieve a single pull request including its check-run status and mergeable state by providing the repository owner, name, and PR number.
Instructions
Fetch a single PR with its check-run status and mergeable state.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| owner | Yes | GitHub owner/org name. | |
| repo | Yes | Repository name. | |
| number | Yes | PR number. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||