weichen/Agent-System-Documents
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Update Gitea endpoints after server migration #121

Merged
weichen merged 2 commits from fix/gitea-endpoint-migration into main 2026-10-22 14:34:25 +00:00
Conversation 0 Commits 2 Files Changed 26
+252 -252
2 Commits
Author SHA1 Message Date
weichen e4d014fab1 Bump the development-manager pin for the endpoint migration
governance / governance (pull_request) Successful in 20s
Details 
Why: governance checks validate candidate .gitmodules URLs against the
pinned development-manager scaffold, which now carries the new Gitea
endpoint base after its own migration.

Evidence: host-verified; see Dev PR #706

Impact: pin update only, part of the coordinated endpoint migration.

Refs: Agent-System-Dev PR #706
 2026-10-22 14:25:52 +00:00
weichen 75a3aa5193 Update Gitea endpoints after server migration
governance / governance (pull_request) Failing after 25s
Details 
Why: the Gitea server moved to https://gitea.naitangbaobao.cn with SSH
on port 52222; endpoint references must follow or superproject CI
checkout refuses the old URLs.

Evidence: host-verified API reach and SSH auth (Dev task card
fix/gitea-endpoint-migration)

Impact: configuration only; no runtime behavior change.

Refs: Dev PR #706
 2026-10-22 14:17:02 +00:00