Get a pull request
get_pull_requestRetrieves a specific pull request by number from a repository, including body, merge metadata, reviewers, comment counts, and head SHA for CI workflow lookups.
Instructions
Get one pull request by number from a repository (owner/repo/index): list_pull_requests' fields plus body, merged_by, merge_commit_sha, merge_base, assignees, requested_reviewers, milestone, comment counts and diff_url. head_sha is what list_workflow_runs takes to find its CI. For the changes themselves use list_pull_request_files or get_pull_request_diff.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | Repository name. | |
| index | Yes | Issue or pull-request number. | |
| owner | Yes | Repository owner — user or organization. |