b04d7b2e136f724c3638233424374bcc2dbfb39a
- theia-exec.ts: primary path is now HTTP sync (syncRepoToTheia) via sync-server.js running inside Theia on port 3001 — no docker socket needed - syncRepoToTheia(giteaRepo): POST /sync → Theia git-pulls latest committed code - isTheiaSyncAvailable(): health check before attempting sync - docker exec path preserved for future use when socket is mounted - agent-session-runner: use syncRepoToTheia after auto-commit - server.ts: log both docker exec + HTTP sync status at startup Made-with: Cursor
Description
No description provided
Languages
HTML
45.8%
TypeScript
30%
JavaScript
10.9%
Python
7.6%
CSS
4.7%
Other
0.9%