Document Gitea repository workflow

AGENTS.md

@@ -335,6 +335,23 @@ git status --short --branch
 npm test
 ```
 
+Current Gitea repository:
+
+- Web: `https://git.aiot.ml/kanshan/HDR`
+- Git remote: `https://git.aiot.ml/kanshan/HDR.git`
+- Default branch: `main`
+- `tea` login profile: `git-aiot`
+
+Use the HTTPS remote for this repository. The Gitea SSH endpoint on port `2222`
+may be unavailable from the current network, while HTTPS push works through the
+`tea` credential helper. Ensure the helper is installed before pushing:
+
+```bash
+tea logins helper setup
+git remote -v
+git push -u origin main
+```
+
 Recommended source files to commit:
 
 - `AGENTS.md`
@@ -367,6 +384,19 @@ git remote add origin <gitea-repository-url>
 git push -u origin main
 ```
 
+To create a new repository with the configured `tea` account, first verify that
+the name is unused, then create an empty server-side repository without README
+initialization so the local history remains authoritative:
+
+```bash
+tea repos list --owner kanshan
+tea repos create --name <repository-name> \
+  --description "<repository-description>"
+git remote add origin https://git.aiot.ml/kanshan/<repository-name>.git
+tea logins helper setup
+git push -u origin main
+```
+
 If a remote already exists:
 
 ```bash