get_pull_request_diff
Retrieve the unified diff for a pull request by passing provider, repository, and pull request ID to inspect code changes.
Instructions
Get a pull request unified diff.
Args: provider: Provider key. repo: Repository identity. pull_request_id: Provider pull-request identifier.
Returns:
Mapping shaped as {"diff": str, "raw": None}.
Examples:
Input: {"provider": "github", "repo": "o/r", "pull_request_id": "7"}.
Output: {"diff": "diff --git ...", "raw": None}.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | ||
| provider | Yes | ||
| pull_request_id | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||