get_pull_request
Fetch full metadata for a single pull request by providing repo and PR ID, with automatic workspace resolution.
Instructions
Returns full metadata for a single pull request. Requires repo and pr_id, and resolves workspace via the standard precedence.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | ||
| pr_id | Yes | ||
| workspace | No |