Github Get Pr Diff
github_get_pr_diffFetches a pull request's diff with an optional byte cap, returning total size to flag truncation.
Instructions
Fetches the diff/patch of a specific pull request, capped at max_bytes. bytes_total is the whole patch either way, so a truncated reply says what was left behind. See #314.
Workflow and conventions: github_get_skill('pr-analysis').
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| max_bytes | No | Cap on the patch returned. Pass 0 to learn the size without reading the patch | |
| pr_number | Yes | ||
| repo_name | Yes | ||
| repo_owner | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| patch | Yes | ||
| pr_number | Yes | ||
| truncated | Yes | ||
| bytes_total | Yes | ||
| bytes_returned | Yes |