get_pull_request_diff
Fetches the diff of a GitHub pull request to inspect code changes for analysis and review.
Instructions
Fetches the code changes (diff) of a specific Pull Request for analysis.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | Repository name | |
| owner | Yes | Repository owner | |
| pull_number | Yes | Pull Request number |