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 |
Input Schema (JSON Schema)
{
"properties": {
"include_patch": {
"default": false,
"title": "Include Patch",
"type": "boolean"
},
"page": {
"default": 1,
"title": "Page",
"type": "integer"
},
"per_page": {
"default": 30,
"title": "Per Page",
"type": "integer"
},
"pr_number": {
"title": "Pr Number",
"type": "integer"
},
"repo_name": {
"title": "Repo Name",
"type": "string"
},
"repo_owner": {
"title": "Repo Owner",
"type": "string"
}
},
"required": [
"repo_owner",
"repo_name",
"pr_number"
],
"title": "GitHubGetPRFiles",
"type": "object"
}