[Issue #4] Update review-pr skill to use tea CLI for merging #17

Merged
HugoNijhuis merged 1 commits from issue-4-review-pr-tea-merge into main 2026-01-01 18:12:42 +00:00

View File

@@ -20,3 +20,19 @@ Ask the user what action to take:
- **Merge**: Post review summary as comment, then merge with rebase style
- **Request changes**: Leave feedback without merging
- **Comment only**: Add a comment for discussion
## Merging
Always use tea CLI for merges to preserve user attribution:
```bash
tea pulls merge <number> --style rebase
```
For review comments, use `tea comment` since `tea pulls review` is interactive-only:
```bash
tea comment <number> "<review summary>"
```
> **Warning**: Never use the Gitea API with admin credentials for user-facing operations like merging. This causes the merge to be attributed to the admin account instead of the user.