infra: switch dev1 -> gitea git remote to SSH (port 222)

Avoids HTTPS-over-lossy-link TCP cwnd issues that pinned the previous
push to ~360 KB/s for 10 min on the batch-50 Step 3-4 commit. SSH key
generated on dev1 (~/.ssh/id_ed25519), public key posted to gitea via
/api/v1/user/keys (title "dev1-guangzhou"), origin URL updated to
ssh://git@git.deepknow.site:222/Facere/FacereDataset.git.

Also documents the kernel + git side optimizations applied:
  sysctl net.ipv4.tcp_congestion_control=bbr   (was cubic)
  git config --global http.postBuffer 524288000  (500 MB)

Note: gitea git SSH port is 222, not 22 (22 is the host sshd).

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

docs/infra.md

@@ -26,7 +26,13 @@
 
 - clone 时用 `GIT_LFS_SKIP_SMUDGE=1` 省流（LFS 对象只在真正需要核对历史数据时 `git lfs pull <path>`，平时不拉）
 - `git lfs install --skip-smudge` 已配，后续 `git pull` 也不会自动拉 blob
-- origin remote 带 Gitea token（token 值见 `~/.claude/.../memory/reference_gitea.md`，服务器上直接存在 `.git/config` 里）
+- origin remote **走 SSH**：`ssh://git@git.deepknow.site:222/Facere/FacereDataset.git`
+  （之前是 HTTPS+token，2026-04-29 切到 SSH，避开 dev1↔gitea 链路 ~6.5% 丢包导致的 TCP cwnd 压扁问题）
+- SSH key：`~/.ssh/id_ed25519`（mode 600），公钥已 POST 到 gitea `/api/v1/user/keys`，title `dev1-guangzhou`
+- gitea SSH 端口是 **222**（22 是主机 sshd，222 才是 gitea）
+- 网络优化（应用于内核与 git）：
+  - `sysctl net.ipv4.tcp_congestion_control=bbr`（替代 cubic，对丢包链路更友好）
+  - `git config --global http.postBuffer 524288000`（500 MB，少 round-trip）
 
 ## 已装工具