get_pull_request_diff
Retrieve code changes from a GitHub pull request to review modifications before merging.
Instructions
Get the diff for a pull request
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| owner | Yes | Repository owner (username or organization) | |
| repo | Yes | Repository name | |
| pull_number | Yes | Pull request number |