diff --git a/AGENTS.md b/AGENTS.md index dd411c9..671ce06 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -47,11 +47,21 @@ Sub-directories have their own `AGENTS.md` with deeper context (e.g. `ios/AGENTS - `release.yaml` — runs on `v*` tags (build Docker images, upload source maps, create Gitea release) - Secrets: `DOCKER_USER`, `DOCKER_TOKEN`, `GITEA_TOKEN`, `GLITCHTIP_AUTH_TOKEN` +### Git credentials + +Credentials are embedded in the remote URL — no `HOME=/root` or credential helper needed for push: + +``` +https://kamil:95782641Apple%24@gitea.kalekber.cc/kamil/libnovel.git +``` + +All git commands still use `HOME=/root` prefix for consistency (picks up `/root/.gitconfig` for user name/email), but push auth works without it. + ### Releasing a new version ```bash -git tag v2.5.X -m "Short title\n\nOptional longer body" -git push origin v2.5.X +HOME=/root git tag v2.6.X -m "Short title" +HOME=/root git push origin v3-cleanup --tags ``` CI will build all Docker images, upload source maps to GlitchTip, and create a Gitea release automatically.