Document tea CLI for remote git server #24

Merged
tas merged 1 commits from docs/remote-git-tea-cli into main 2026-03-16 15:03:52 +00:00
Showing only changes of commit 7080d7fefc - Show all commits

View File

@@ -256,6 +256,23 @@ incremental progress.
- Draw layers: BG → entities → FG → particles → HUD
- Camera transforms world coords to screen coords
## Remote Git Server
The remote git server is a Gitea instance. Use the **`tea` CLI** (not `gh`) for all remote
operations: pull requests, issues, releases, and repository management.
```bash
tea pr create --title "..." --description "..." # Create a pull request
tea pr list # List open PRs
tea issue list # List issues
tea issue create --title "..." --description "..."
tea pr merge <number> # Merge a PR
```
Do NOT use `gh` (GitHub CLI) — it will not work with this remote.
After creating a pull request, always check out the `main` branch (`git checkout main`).
## Commit Messages
- Imperative mood, concise
- No co-authored-by or AI attribution