From fa9d99d5c0cfcb23fdfcee473169c12912b29aac Mon Sep 17 00:00:00 2001 From: Jonas Miederer Date: Sun, 13 Sep 2026 21:14:43 +0200 Subject: [PATCH] chore: document GCM credential setup in AGENTS.md --- AGENTS.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/AGENTS.md b/AGENTS.md index 6eabdfe..1bf6275 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -32,6 +32,11 @@ profiles, or override files. Containers: `api` (FastAPI :8000, attached), - Prod: own `.env` with secrets + `FRONTEND_MODE=preview`; code updates via `git pull` + restart, image rebuilds only for dependency changes (`docker compose up -d --build`). +- Git in the container uses HTTPS with GCM (`credential.helper=manager`, + installed by `.devcontainer/setup.sh` together with `libicu76` runtime). + Remote URL has no embedded token. First push/pull triggers a device-code + prompt (open URL on host). Rotate GitLab tokens in GitLab UI before + switching credentials. ## Definition of done