From 7d60157863bf11957c3265cce680e3e264fd5605 Mon Sep 17 00:00:00 2001
From: Nessar
Date: Tue, 13 Oct 2026 19:38:32 +0200
Subject: [PATCH] docs: migrate repository guidance to Gitea
---
.agents/skills/code-review/SKILL.md | 2 +-
.../skills/setup-matt-pocock-skills/SKILL.md | 4 +-
.../issue-tracker-gitea.md | 48 +++++++++++++++
.agents/skills/wizard/SKILL.md | 2 +-
.antigravityrules | 12 ++--
...uvegarder-et-figer-les-jours-deja-poses.md | 4 +-
...odes-de-repos-autour-des-jours-declares.md | 6 +-
...urs-declares-dans-les-regles-de-periode.md | 6 +-
...les-motifs-if-then-et-les-droits-acquis.md | 8 +--
...n-statistics-for-calculated-leave-usage.md | 4 +-
...rk-sequence-and-time-off-period-lengths.md | 6 +-
...w-gross-earned-leave-by-generating-rule.md | 6 +-
...-public-holidays-connected-to-a-weekend.md | 6 +-
.../05-warn-about-weeks-with-one-workday.md | 6 +-
...evaluation-et-comparaison-des-objectifs.md | 2 +-
...prevention-des-pertes-depuis-les-regles.md | 2 +-
...mposer-regles-semaines-feriees-et-repos.md | 2 +-
...04-composer-regles-sequences-de-travail.md | 2 +-
.../05-piloter-economie-des-jours-appoint.md | 2 +-
...regles-sauvegardees-et-valider-ensemble.md | 2 +-
.../01-remove-original-decision-trace.md | 2 +-
.../issues/02-verify-trace-free-planning.md | 4 +-
...verify-and-optimize-planning-benchmarks.md | 2 +-
AGENTS.md | 14 +++--
README.md | 42 ++++++++-----
...d-horizons-and-cancellable-calculations.md | 2 +-
...007-declared-days-and-reported-balances.md | 2 +-
docs/agents/issue-tracker.md | 61 +++++++++++--------
docs/benchmark/README.md | 17 +++---
docs/planner-cancellation.md | 2 +-
docs/statistics.md | 2 +-
31 files changed, 180 insertions(+), 102 deletions(-)
create mode 100644 .agents/skills/setup-matt-pocock-skills/issue-tracker-gitea.md
diff --git a/.agents/skills/code-review/SKILL.md b/.agents/skills/code-review/SKILL.md
index 8979b06..b194fe6 100644
--- a/.agents/skills/code-review/SKILL.md
+++ b/.agents/skills/code-review/SKILL.md
@@ -35,7 +35,7 @@ Inspect `git status --short` and distinguish pre-existing user changes from task
Look for the originating spec, in this order:
1. The user's explicit spec, ticket, path, or acceptance criteria in the conversation. Preserve it as authoritative even when commits reference other work.
-2. Issue/MR references in relevant commit messages — fetch via `docs/agents/issue-tracker.md` when no explicit source was supplied.
+2. Issue/PR references in relevant commit messages — fetch via `docs/agents/issue-tracker.md` when no explicit source was supplied.
3. A PRD/spec file under `docs/`, `specs/`, or `.scratch/` matching the branch name or feature.
4. If nothing is found or the source is inaccessible, continue the Standards review and report the Spec coverage limitation. Ask for a source only when needed to answer the user's request; do not invent requirements or require tracker setup.
diff --git a/.agents/skills/setup-matt-pocock-skills/SKILL.md b/.agents/skills/setup-matt-pocock-skills/SKILL.md
index 12136b4..3c32a7a 100644
--- a/.agents/skills/setup-matt-pocock-skills/SKILL.md
+++ b/.agents/skills/setup-matt-pocock-skills/SKILL.md
@@ -42,10 +42,11 @@ Preserve the configured tracker. For a new setup, infer a likely tracker from th
- **GitHub** — issues live in the repo's GitHub Issues (uses the `gh` CLI)
- **GitLab** — issues live in the repo's GitLab Issues (uses the [`glab`](https://gitlab.com/gitlab-org/cli) CLI)
+- **Gitea** — issues live in the repo's Gitea Issues (uses `tea-cli`, or `tea` where that is the installed binary; inspect its help for supported commands)
- **Local markdown** — issues live as files under `.scratch//` in this repo (good for solo projects or repos without a remote)
- **Other** (Jira, Linear, etc.) — ask the user to describe the workflow in one paragraph; the skill will record it as freeform prose
-Record the choice in `docs/agents/issue-tracker.md`. The GitHub and GitLab templates carry a "PRs as a request surface" flag, defaulted **off** — leave it off and don't raise it; a user who wants external PRs in the triage queue can flip the flag in the file later.
+Record the choice in `docs/agents/issue-tracker.md`. The GitHub, GitLab, and Gitea templates carry a "PRs as a request surface" flag, defaulted **off** — leave it off and don't raise it; a user who wants external PRs in the triage queue can flip the flag in the file later.
**Section B — Triage label vocabulary.** Skip this section entirely if the `triage` skill isn't installed (exploration told you) — an uninstalled skill needs no labels.
@@ -105,6 +106,7 @@ Then write the docs files using the seed templates in this skill folder as a sta
- [issue-tracker-github.md](./issue-tracker-github.md) — GitHub issue tracker
- [issue-tracker-gitlab.md](./issue-tracker-gitlab.md) — GitLab issue tracker
+- [issue-tracker-gitea.md](./issue-tracker-gitea.md) — Gitea issue tracker
- [issue-tracker-local.md](./issue-tracker-local.md) — local-markdown issue tracker
- [triage-labels.md](./triage-labels.md) — label mapping (only if `triage` is installed)
- [domain.md](./domain.md) — domain doc consumer rules + layout
diff --git a/.agents/skills/setup-matt-pocock-skills/issue-tracker-gitea.md b/.agents/skills/setup-matt-pocock-skills/issue-tracker-gitea.md
new file mode 100644
index 0000000..0298bf9
--- /dev/null
+++ b/.agents/skills/setup-matt-pocock-skills/issue-tracker-gitea.md
@@ -0,0 +1,48 @@
+# Issue tracker: Gitea
+
+Issues and specs for this repo live as Gitea issues. Use the [`tea`](https://gitea.com/gitea/tea) CLI, called `tea-cli` on some systems. Record the instance URL, repository owner/name, installed command version, and supported operations when adapting this template.
+
+## Access and conventions
+
+Use the existing configured login and infer the repository from `git remote -v`. Check the installed binary's help before selecting commands: tea 1.0 changes the command groups, authentication, flags, and output formats. The examples here use `tea-cli` 0.9.2; options precede positional issue or PR numbers.
+
+- **Authenticate**: use the existing login; for a new login, run interactive `tea-cli login add` with the repository's instance URL.
+- **Create an issue**: `tea-cli issues create --title "..." --description "..." --labels "needs-triage"`. Pass multiline descriptions as one quoted argument.
+- **Read an issue**: `tea-cli issues --comments `.
+- **List issues**: `tea-cli issues --state open --labels "..." --fields index,title,body,state,labels,assignees,url --output yaml`. Paginate with `--page` and `--limit` until all matching issues have been read.
+- **Comment**: `tea-cli comment "..."`.
+- **Close**: post the explanation first, then `tea-cli issues close `.
+- **Pull requests**: `tea-cli pulls create --base --title "..." --description "..."`, `tea-cli pulls --comments `, and `tea-cli pulls --state open --output yaml`.
+- **Milestones**: `tea-cli milestones --state all --fields id,title --output tsv`. Verify migrated milestone IDs rather than copying source-tracker IDs.
+
+This version has no JSON output, issue-edit command, or `api` command. Structured output flags apply to lists; detail views render for display. For unsupported operations, use the instance's `/api/swagger` explorer and `/swagger.v1.json` schema, or the Gitea UI. Authenticate API requests with an authorized token without displaying or committing it. API paths below are relative to the instance's `/api/v1`:
+
+- Read issue details and comments with `GET /repos///issues/` and its `/comments` endpoint; paginate comments.
+- Resolve label IDs with `GET /repos///labels`. Add labels with `POST /repos///issues//labels`, body `{"labels":[]}`; remove one with `DELETE` on `/labels/`. Preserve unrelated labels.
+- Edit a body or assignment with `PATCH /repos///issues/`, body `{"body":"..."}` or `{"assignees":[""]}`. Read current assignees before updating the list.
+- Read a PR diff with `GET /repos///pulls/.diff`.
+
+## Pull requests as a triage surface
+
+**PRs as a request surface: no.** _(Set to `yes` if this repo treats external pull requests as feature requests; `/triage` reads this flag.)_
+
+When enabled, read and list with `tea-cli pulls`; keep only external requests after checking collaborator or organization membership. Use `tea-cli comment`, the issue-label API, and `tea-cli pulls close ` for comment / label / close operations.
+
+Resolve bare `#` references by checking the resource kind with `tea-cli issues --kind all --fields index,kind,title,url --output yaml` or the issue API's `pull_request` field. Issue URLs use `/issues/`; PR URLs use `/pulls/`.
+
+## When a skill says "publish to the issue tracker"
+
+Create a Gitea issue with `tea-cli issues create`.
+
+## When a skill says "fetch the relevant ticket"
+
+Run `tea-cli issues --comments ` and read its labels and assignees.
+
+## Wayfinding operations
+
+- **Map**: an issue labelled `wayfinder:map`, holding the Notes / Decisions-so-far / Fog body. Create it with `tea-cli issues create --title "..." --description "..." --labels "wayfinder:map"`.
+- **Child ticket**: an issue with `Part of #