github_get_pr
Retrieve GitHub pull request details including diff statistics, merge status, and review state to monitor code changes and collaboration progress.
Instructions
Get PR details including diff stats, merge status, and review state.
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| pull_number | Yes | Pull request number |