gitee_check_pull_merged
Check if a specific pull request has been merged by providing the repository owner, name, and PR number.
Instructions
Check if a pull request has been merged
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| owner | Yes | Repository owner | |
| repo | Yes | Repository path name | |
| number | Yes | PR number |