chore: document GCM credential setup in AGENTS.md

This commit is contained in:
Jonas Miederer 2026-09-13 21:14:43 +02:00
parent c1d505238f
commit fa9d99d5c0

View file

@ -32,6 +32,11 @@ profiles, or override files. Containers: `api` (FastAPI :8000, attached),
- Prod: own `.env` with secrets + `FRONTEND_MODE=preview`; code updates via - Prod: own `.env` with secrets + `FRONTEND_MODE=preview`; code updates via
`git pull` + restart, image rebuilds only for dependency changes `git pull` + restart, image rebuilds only for dependency changes
(`docker compose up -d --build`). (`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 ## Definition of done