get_pull_request
Retrieve typed metadata for a GitHub pull request by owner, repository, and number to support deterministic evidence collection for AI-assisted PR review.
Instructions
Get typed pull-request metadata.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | ||
| owner | Yes | ||
| number | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||