get_pull_request
Retrieve detailed information about a GitHub pull request by specifying repository owner, name, and pull number.
Instructions
Get detailed information about a pull request.
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| owner | Yes | Repository owner | |
| repo | Yes | Repository name | |
| pull_number | Yes | Pull request number |