voidkontrol/docs/agents/issue-tracker.md

Issue tracker: Gitea

Issues and specs for this repo live as Gitea issues. Use the official tea CLI for all operations.

Conventions

• Create an issue: tea issues create --title "..." --description "...".
• Read an issue: tea issues <number>.
• List issues: tea issues; use tea issues --state all for all states and tea issues --format json for machine-readable output.
• Comment on an issue: tea comment issue <number>.
• Apply / remove labels: tea issues edit <number> --add-labels "..." / --remove-labels "...".
• Close: tea issues close <number>.
• Pull requests: use tea pulls create, tea pulls <number>, and tea pulls checkout <number>.

Configure the Gitea instance with tea login add. tea uses repository context from the current clone when available.

Merge requests as a triage surface

Pull requests as a request surface: no.

When a skill says "publish to the issue tracker"

Create a Gitea issue.

When a skill says "fetch the relevant ticket"

Run tea issues <number>.