github_get_pr
Retrieve pull request details including metadata, changes, and status to facilitate code review and collaboration in GitHub repositories.
Instructions
Get pull request details
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| owner | Yes | Repository owner | |
| repo | Yes | Repository name | |
| pr_number | Yes | Pull request number |