Move the decisions out of AGENTS.md into docs/decisions.md

2026-11-08 21:00:53 +01:00
parent be498eecd3
commit 7ad46d0adf
9 changed files with 579 additions and 301 deletions
@@ -69,8 +69,8 @@ jobs:
        if: always()
        run: |
          set -uo pipefail
-          # Cleanup, and the runner's Docker config is shared (AGENTS.md) — a lost race here must not
-          # fail a release that published, nor skip the overview job that follows.
+          # Cleanup, and the runner's Docker config is shared (docs/decisions.md) — a lost race here
+          # must not fail a release that published, nor skip the overview job that follows.
          docker logout gitea.larvit.se || true
          docker logout docker.io || true