get_pull_request
Fetch a single GitHub pull request by its number to view details like title, status, and description.
Instructions
Get a single GitHub pull request by its number.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | Repository name | |
| owner | Yes | Repository owner (user or org) | |
| number | Yes | Pull request number |