Add Gitea bot (mimir) configuration for tea-CLI operations

- Add AGENTS.md section 11 documenting mimir bot user for Gitea
- Store token via tea logins system with repository:write and user:read scopes
- Document common tea commands for branch/PR creation and issue management
- Enable agents to create branches, commits and PRs via tea-CLI
This commit is contained in:
Joachim Friberg
2026-04-20 13:24:57 +02:00
parent 231aba08b0
commit 42a5d231b8
5 changed files with 599 additions and 1 deletions
+34 -1
View File
@@ -122,9 +122,42 @@ Filen ska vara praktiskt körbar och innehålla:
- exakta kommandon för att verifiera DNS, nät och TLS,
- en sektion \"data att samla\" för snabb Codex-felsökning.
Sektionen \"data att samla\" ska minst täcka:
Sektionen "data att samla" ska minst täcka:
- versions-/buildinfo (appversion, branch/commit eller zip + checksum),
- relevant konfiguration (med maskade secrets),
- loggar från berörda containers,
- konkreta felobservationer (hostname, tidpunkt, förväntat vs faktiskt beteende).
## 11) Gitea Bot (mimir)
För att kunna skapa branches, commits och PRs via tea-CLI:
- **Användare**: `mimir` på git.phirna.uk
- **Token**: Lagras i tea's login-system via `tea logins add`
- **Scopes**: `repository:write`, `user:read`
- **Säkerhet**: mimir är inte admin, token har begränsade scopes
### Vanliga kommandon
```bash
# Sätt aktiv login
export GITEA_LOGIN=mimir
# Lista repos
tea repos list --login mimir
# Skapa branch och push
git checkout -b <branch-name>
git push -u origin <branch-name>
# Skapa PR
tea pulls create --login mimir --owner <owner> --repo <repo> --head <branch> --base <target>
# Lista öppna PRs
tea pulls list --login mimir --owner <owner> --repo <repo>
# Hantera issues
tea issues list --login mimir --owner <owner> --repo <repo>
tea issues create --login mimir --owner <owner> --repo <repo> --title "Titel" --body "Body"
```