get_pr_diff
Retrieve file changes and diff for any GitHub pull request by providing its number.
Instructions
Get the file changes and diff for a specific pull request.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| pr_number | Yes | The pull request number to retrieve the diff for. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||