github_pulls_check_if_merged
Check if a pull request has been merged to verify its status and prevent redundant actions.
Instructions
Check if a pull request has been merged
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| owner | Yes | owner | |
| repo | Yes | repo | |
| pull_number | Yes | pull_number |