get_pull_request
Retrieve details of a specific pull request by providing the owner, repository name, and pull request number.
Instructions
Get details of a single pull request
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| owner | Yes | Owner/username | |
| repo | Yes | Repository name | |
| index | Yes | Pull request number |