get_pull_request
Retrieve a pull request's merge state and diff statistics by providing the repository owner, repo name, and pull request number.
Instructions
Fetch one pull request with merge state and diff stats.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| owner | Yes | ||
| repo | Yes | ||
| number | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |