From b9f8008c2c09f5c82e8855f6abc8d6a0f5ea5f2c Mon Sep 17 00:00:00 2001
From: root <root@opencode.lan>
Date: Thu, 9 Apr 2026 17:09:53 +0500
Subject: [PATCH] chore: embed git credentials in remote URL; update AGENTS.md

---
 AGENTS.md | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

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.