---
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