igm
4d9fbdeed5
- Pin tea CLI to 0.10.1 to avoid TTY bug in 0.11.x - Add .claude/skills/gitea for PR creation workflow - Document tea CLI usage in CLAUDE.md Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
78 lines
1.9 KiB
Markdown
78 lines
1.9 KiB
Markdown
---
|
|
name: gitea
|
|
description: Create pull requests on Gitea using the tea CLI. Use when the user asks to "create a PR", "open a pull request", "make a PR", "submit PR", or any variation involving pull requests for this repository.
|
|
---
|
|
|
|
# Gitea Pull Requests
|
|
|
|
This project uses Gitea (git.rev.iq) for hosting and the `tea` CLI for creating pull requests.
|
|
|
|
## Prerequisites
|
|
|
|
- The `tea` CLI is installed via devenv (pinned to 0.10.1 to avoid TTY bugs in 0.11.x)
|
|
- Login is configured via `~/.config/tea/config.yml`
|
|
|
|
## Creating a Pull Request
|
|
|
|
When asked to create a PR, follow these steps:
|
|
|
|
### 1. Check current state
|
|
|
|
```bash
|
|
git status
|
|
git log --oneline -5
|
|
git diff master...HEAD --stat
|
|
```
|
|
|
|
### 2. Ensure changes are committed and pushed
|
|
|
|
If there are uncommitted changes, commit them first. Then push:
|
|
|
|
```bash
|
|
git push -u origin <branch-name>
|
|
```
|
|
|
|
### 3. Create the PR using tea
|
|
|
|
```bash
|
|
tea pr create \
|
|
-r igm/publisher-dashboard \
|
|
--title "PR title here" \
|
|
--description "## Summary
|
|
- Change 1
|
|
- Change 2
|
|
|
|
🤖 Generated with [Claude Code](https://claude.ai/code)" \
|
|
--head <source-branch> \
|
|
--base master
|
|
```
|
|
|
|
**Important flags:**
|
|
- `-r igm/publisher-dashboard` - Always specify the repo explicitly (required due to SSH remote detection issues)
|
|
- `--head` - The source branch (your feature branch)
|
|
- `--base` - The target branch (usually `master`)
|
|
|
|
### 4. Return the PR URL
|
|
|
|
The command outputs the PR URL. Always share this with the user.
|
|
|
|
## Example Output
|
|
|
|
```
|
|
# #1 Update packages to export from dist/ (open)
|
|
|
|
@igm created 2024-01-11 **master** <- **fix-exports**
|
|
|
|
--------
|
|
|
|
• No Conflicts
|
|
• Maintainers are allowed to edit
|
|
|
|
https://git.rev.iq/igm/publisher-dashboard/pulls/1
|
|
```
|
|
|
|
## Troubleshooting
|
|
|
|
- If tea fails with TTY errors, ensure you're using tea 0.10.1 (configured in `nix/tea.nix`)
|
|
- The repo flag `-r igm/publisher-dashboard` is required because the SSH remote isn't auto-detected
|