get_pull_request_diff_tool
Retrieve the unified diff of a GitHub pull request by providing the repository name and pull request number.
Instructions
Get the unified diff for a GitHub pull request.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | Repository name | |
| pull_number | Yes | Pull request number | |
| owner | No | Repository owner (defaults to GITHUB_DEFAULT_ORG if unset) |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||