github_list_pull_request_files
Retrieve paginated changed-file metadata and text patches for a pull request in a review run, verifying head SHA and returning null for binary diffs.
Instructions
Read one 100-file page of changed-file metadata and GitHub-provided text patches for the pull request bound to a review run. Use consecutive page values until hasNextPage is false. The tool verifies the head SHA before and after reading and returns null patch values for binary or unavailable diffs.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| page | No | One-based result page from 1 through 30; each page contains at most 100 files. | |
| runId | Yes | Active pull-request review run UUID. | |
| pullNumber | Yes | Positive pull request number bound to the review run. | |
| repository | Yes | GitHub repository in owner/name format; it must be present in GITHUB_ALLOWED_REPOSITORIES. |