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 |