tea_pr_merge
Merge a pull request in a Gitea repository using the tea CLI. Configure merge style and customize commit details.
Instructions
Merge a pull request
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | No | Repository path or 'owner/name' slug (defaults to repo detected from working directory) | |
| index | Yes | Pull request number to merge | |
| style | No | Merge strategy to use | merge |
| title | No | Custom merge commit title | |
| message | No | Custom merge commit message |