github.get_pr
Obtain full details about a pull request, including its title, state, author, stats, and head/base branches.
Instructions
Get full detail on a pull request: title, state, author, stats, head/base refs.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | ||
| owner | Yes | ||
| pull_number | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |