get_pull_request
Retrieve a specific pull request by its number (e.g., #42) and get full details including branches, merge status, labels, and milestone.
Instructions
Fetch one pull request by its index — the number shown in the PR URL (e.g. #42), NOT the internal id. Returns the full PR including base/head branches, mergeable status, merged flag, labels, and milestone.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | No | Repository name (defaults to GITEA_DEFAULT_REPO) | |
| index | Yes | Pull request number | |
| owner | No | Repository owner (defaults to GITEA_DEFAULT_OWNER) |