1.1 KiB
1.1 KiB
Issue tracker: Gitea
Issues and PRDs for this repo live as Gitea issues on git.duoqi.me. Use the tea CLI for all operations.
Conventions
- Create an issue:
tea issues create --title "..." --description "...". Use a heredoc for multi-line descriptions. - Read an issue:
tea issues view <number>. Use--output jsonfor machine-readable output. - List issues:
tea issues list --output jsonwith appropriate--labelsfilters. - Comment on an issue:
tea issues add-comment <number> --message "...". - Apply / remove labels:
tea issues edit <number> --labels "...". - Close:
tea issues close <number>. Post the explanation first withtea issues add-comment <number> --message "...", then close. - Pull requests: Use
tea pr create,tea pr view,tea pr add-comment, etc. — similar shape togh pr ....
Infer the repo from git remote -v — tea does this automatically when run inside a clone.
When a skill says "publish to the issue tracker"
Create a Gitea issue.
When a skill says "fetch the relevant ticket"
Run tea issues view <number>.