get_pull_request_files
Fetches changed files and patches from a GitHub pull request by owner, repo, and PR number, so reviewers can inspect proposed code changes.
Instructions
Get changed files and patches for a pull request.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | ||
| owner | Yes | ||
| number | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |