get_pull_request
Retrieve a single pull request by provider, repository, and ID. Returns normalized details including title, state, and URL.
Instructions
Get one pull request.
Args: provider: Provider key. repo: Repository identity. pull_request_id: Provider pull-request identifier. raw: Include the provider payload.
Returns:
Normalized pull-request mapping with id, title, state, and url.
Examples:
Input: {"provider": "github", "repo": "o/r", "pull_request_id": "7"}.
Output: {"id": "7", "title": "Fix", "state": "open", ...}.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| raw | No | ||
| repo | Yes | ||
| provider | Yes | ||
| pull_request_id | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||