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

Update Gitea endpoints after server migration #5

Merged
weichen merged 2 commits from fix/gitea-endpoint-migration into main 2026-10-22 14:34:26 +00:00
Conversation 0 Commits 2 Files Changed 6
+10 -10
2 Commits
Author SHA1 Message Date
weichen 8c9a7df1fe Bump the development-manager pin for the endpoint migration
ci / vet-and-test (pull_request) Successful in 1s
Details
ci / docker-checkout-hostgateway (pull_request) Successful in 1s
Details
governance / governance (pull_request) Successful in 24s
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:26:09 +00:00
weichen acd34769bf Update Gitea endpoints after server migration
ci / docker-checkout-hostgateway (pull_request) Successful in 1s
Details
ci / vet-and-test (pull_request) Successful in 11s
Details
governance / governance (pull_request) Failing after 32s
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:23 +00:00