get_pull_request
Retrieve full details of a specific pull request from any GitHub repository by providing the owner, repository name, and PR number.
Instructions
Get full details of a specific pull request.
Args: owner: Repository owner. repo: Repository name. pr_number: Pull request number.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | ||
| owner | Yes | ||
| pr_number | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |