github_get_pr
Retrieve details of a specific pull request by number, including status, labels, and metadata. Optionally specify a repository.
Instructions
Get details of a specific pull request.
Args: pr_number: Pull request number repo: Repository name (defaults to configured default repo)
Returns: Dictionary with PR details or error
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | No | ||
| pr_number | Yes |