docs: add agent push rule to Gitea Workflow section

Adds an explicit agent rule: always use bin/gitea-push instead of raw
git push, preventing hangs on HTTPS password prompts.
This commit is contained in:
fedora-bot
2026-04-27 19:27:37 +03:00
parent de53b5a98a
commit 705f1f8116

View File

@@ -77,6 +77,8 @@ The GoPro USB controller lives in `clients/gopro-scicam/` as part of this repo (
- Remotes point to `https://git.telavivmakers.space`. The **tami** org owns all repos (`tami/timi`, `tami/gopro-scicam`).
- Token lives at `~/.config/timi/gitea-token` (mode `0600`). **Never** exported to shell env or embedded in URLs.
**Agent rule:** When the user asks to push, always run `bin/gitea-push origin <branch>` (branch is usually `master`). Do **not** run raw `git push` — it will hang waiting for a password because the remote is HTTPS and no credentials are in `.git/config`.
### `bin/gitea-push` — authenticated push without leaking credentials
Uses `git -c http.extraHeader` so the token stays in process memory only — never written to `.git/config` or shell history.