diff --git a/AGENTS.md b/AGENTS.md index bbca962..0cade54 100644 --- a/AGENTS.md +++ b/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 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 \ + --description "" +git remote add origin https://git.aiot.ml/kanshan/.git +tea logins helper setup +git push -u origin main +``` + If a remote already exists: ```bash