github_list_pr_files
List files changed in a pull request by providing the repository owner, repository name, and pull request number to see which files were modified.
Instructions
List files changed in a pull request.
Args: owner: Repository owner repo: Repository name pr_number: PR number session_name: GitHub session to use
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | ||
| owner | Yes | ||
| pr_number | Yes | ||
| session_name | No | default |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |