chore: flatten robomp

2026-05-17 04:10:50 +02:00
parent a93ab48a6a
commit ec20364322
54 changed files with 31 additions and 33 deletions
@@ -0,0 +1,6 @@
+"""gh-proxy: PAT-holding companion service for roboomp.
+
+roboomp container holds zero credentials; every GitHub side-effect (REST +
+git clone/fetch/push) flows through this service over an HMAC-authenticated
+internal channel. See `robomp.proxy.server` for the request surface.
+"""