get-pull-request
Retrieve detailed information about a specific GitHub pull request by providing the repository owner, repository name, and pull request number.
Instructions
Get details of a specific pull request
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| owner | Yes | Repository owner (username or organization) | |
| pull_number | Yes | Pull request number | |
| repo | Yes | Repository name |