fetchGithubPR
Fetches a GitHub pull request by URL or short reference, returning title, body, state, branches, labels, review decision, and diff stats.
Instructions
Fetch a GitHub pull request by URL or owner/repo#number ref. Returns title, body, state, branches, labels, review decision, and diff stats. Requires GitHub connector connected.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| prRef | Yes | GitHub PR URL (https://github.com/owner/repo/pull/42) or short ref (owner/repo#42). |