github_get_pull_request
Fetch current pull request metadata for a RepoPilot review run, including head SHA and change totals, to verify the PR state before reviewing or publishing.
Instructions
Read current metadata for the pull request bound to a RepoPilot review run, including its immutable head SHA and change totals. Use before reviewing files or publishing a review. The run, repository, and pull request must match, and the call fails if the GitHub head changed.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| runId | Yes | Active pull-request review run UUID. | |
| pullNumber | Yes | Positive pull request number bound to the review run. | |
| repository | Yes | GitHub repository in owner/name format; it must be present in GITHUB_ALLOWED_REPOSITORIES. |