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