is_pull_merged
Check if a pull request is merged to avoid redundant merge attempts or confirm its final state.
Instructions
Check whether a pull request has been merged. Returns a boolean (true = merged, false = not merged). Call before merge_pull_request to avoid a redundant attempt, or to confirm a PR's final state.
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) |