publisher-dashboard/.claude/skills/gitea/SKILL.md

name, description

name	description
gitea	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

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:

git push -u origin <branch-name>

3. Create the PR using tea

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