github_get_pr_details
Retrieve detailed pull request information, including changed files, commits, and optionally the full diff.
Instructions
Get detailed information about a specific pull request including files changed, commits, and optionally the full diff
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | Repository name | |
| owner | Yes | Repository owner (user or organization) | |
| pull_number | Yes | Pull request number | |
| include_diff | No | Include the full diff/patch content (may be large) |