get_pull_request
Retrieve detailed metadata for a GitHub pull request using owner, repository, and pull number. Provides read-only, policy-controlled access for safe inspection.
Instructions
Get detailed metadata for one GitHub pull request. Read-only.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | ||
| owner | Yes | ||
| pull_number | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||