github_get_pr_files
Retrieve files changed in a GitHub pull request with pagination support. Specify repository owner, name, and PR number to fetch file details, including optional patch data, for efficient review.
Instructions
Get files changed in a pull request with pagination support
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| include_patch | No | ||
| page | No | ||
| per_page | No | ||
| pr_number | Yes | ||
| repo_name | Yes | ||
| repo_owner | Yes |