Github Get Pr Diff
github_get_pr_diffGet the diff of a pull request with a size cap, returning a truncation notice when the patch exceeds the limit.
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.
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 |