From 2b96b43fd0e6f90ff6a3f5a44c0161ae751e64e0 Mon Sep 17 00:00:00 2001 From: Sulthan Zaki Date: Mon, 17 Aug 2026 17:50:09 +0700 Subject: [PATCH] Add a gitea skill; point AGENTS.md at it Forge usage was spread across AGENTS.md, docs/agents/issue-tracker.md, and whatever the agent remembered about `gh`. Move the how-to-run-`tea` half into a model-invoked skill so it loads on any issue/PR task, and leave AGENTS.md a single line of identity plus pointers. The skill carries only what `tea --help` cannot answer: `gh` is absent so the harness's `issue://`/`pr://` URIs error out, issues and PRs share one index space, rendered-box output needs `-o json`, `close` takes no `--comment`, labels never auto-create, bodies need a heredoc, and a read without `--comments` silently drops every comment (issue #123: 40 lines bare, 132 with the flag). Tracker conventions and triage label strings stay in docs/agents/, cited rather than copied. --- .claude/skills/gitea/SKILL.md | 75 +++++++++++++++++++++++ .claude/skills/implement-tickets/SKILL.md | 2 +- AGENTS.md | 9 +-- 3 files changed, 77 insertions(+), 9 deletions(-) create mode 100644 .claude/skills/gitea/SKILL.md diff --git a/.claude/skills/gitea/SKILL.md b/.claude/skills/gitea/SKILL.md new file mode 100644 index 0000000..6b69f25 --- /dev/null +++ b/.claude/skills/gitea/SKILL.md @@ -0,0 +1,75 @@ +--- +name: gitea +description: Use for every forge operation in this repo — read, create, comment on, label, close, or search an issue; create, review, merge, or check out a PR; and whenever `gh`, `issue://`, or `pr://` fails or a ticket number is ambiguous. This repo's forge is self-hosted Gitea driven by `tea`, not GitHub. +--- + +# Gitea, not GitHub + +`origin` is the self-hosted Gitea instance `gitea.violetcrown.my.id`, repo +`sulthan/mangaBookmark`. Everything past plain git goes through +[`tea`](https://gitea.com/gitea/tea) (0.14.2 on this machine). + +**`gh` is not installed**, so the harness's `issue://` and `pr://` URIs +error out (`GitHub CLI (gh) is not installed`, measured 2026-08-17). There is no +fallback to add — read tickets with `tea`. + +`tea` infers the repo from `origin`; auth lives in `tea login`, never a +`GH_TOKEN`. Your Gitea username comes from `tea login list` — `tea` has no `@me`. + +Flags are the environment's job: run `tea --help` rather than trusting +a remembered flag. This file carries only what `--help` will not tell you. + +## Commands + +| Job | Command | +|---|---| +| Read | `tea issue --comments` / `tea pr --comments` — `--comments` is not optional | +| List | `tea issue list --state open\|closed\|all -o json --fields index,title,body,labels,state,author` | +| Search | `tea issue list -k "" -L "