Get GitHub PR Details
get_github_prFetch a specific GitHub pull request's details and live status while auto-detecting repository details from the current git repo when owner/repo are omitted.
Instructions
Get detailed information about a specific GitHub pull request, including live prStatus. IMPORTANT: Do NOT guess owner/repo values - leave them empty to auto-detect from the current git repository.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | No | LEAVE EMPTY to auto-detect from git | |
| owner | No | LEAVE EMPTY to auto-detect from git | |
| pr_number | No | ||
| use_test_db | No | ||
| truncate_body | No | Max characters for body text (0 = full body, default 800). Reduces token usage. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| code | No | Error code (e.g. VALIDATION_ERROR, INTERNAL_ERROR) | |
| repo | No | ||
| error | No | Human-readable error message | |
| owner | No | ||
| details | No | Additional error context | |
| category | No | Error category (validation, query, connection, internal) | |
| suggestion | No | Suggested fix for the error | |
| instruction | No | ||
| pullRequest | No | ||
| recoverable | No | Whether the error is recoverable | |
| detectedRepo | No | ||
| detectedOwner | No | ||
| aggregated_errors | No | Details of individual errors in a multi-step operation | |
| requiresUserInput | No |