get_pull_request
Fetches a pull request with its changed files and CI check summary for review.
Instructions
Get a pull request with its changed files and CI check summary.
Files are capped at the first 100; files_truncated is true when the PR has more. Checks summarize GitHub Actions runs on the head commit.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | Repository as "owner/repo". | |
| number | Yes | Pull request number. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |