Move Studio tools to customer-facing routes

infrastructure/gateway/envoy/routes/forgejo.yaml

@@ -13,15 +13,30 @@ spec:
     - matches:
         - path:
             type: Exact
-            value: /internal/dev/git
+            value: /services/studio/forgejo
       filters:
         - type: RequestRedirect
           requestRedirect:
             path:
               type: ReplaceFullPath
-              replaceFullPath: /internal/dev/git/
+              replaceFullPath: /services/studio/forgejo/
             statusCode: 301
 
+    - matches:
+        - path:
+            type: PathPrefix
+            value: /services/studio/forgejo/
+      filters:
+        - type: URLRewrite
+          urlRewrite:
+            path:
+              type: ReplacePrefixMatch
+              replacePrefixMatch: /
+      backendRefs:
+        - name: forgejo
+          port: 3000
+
+    # Temporary compatibility path for Argo CD and existing Git remotes.
     - matches:
         - path:
             type: PathPrefix

infrastructure/gateway/envoy/routes/openproject.yaml

@@ -13,7 +13,7 @@ spec:
     - matches:
         - path:
             type: PathPrefix
-            value: /internal/dev/projectmanagement
+            value: /services/studio/openproject
       backendRefs:
         - name: openproject
           port: 8080

infrastructure/gateway/envoy/routes/pgadmin.yaml

@@ -13,19 +13,19 @@ spec:
     - matches:
         - path:
             type: Exact
-            value: /internal/dev/dbadmin/postgres
+            value: /services/studio/pgadmin
       filters:
         - type: RequestRedirect
           requestRedirect:
             path:
               type: ReplaceFullPath
-              replaceFullPath: /internal/dev/dbadmin/postgres/
+              replaceFullPath: /services/studio/pgadmin/
             statusCode: 301
 
     - matches:
         - path:
             type: PathPrefix
-            value: /internal/dev/dbadmin/postgres/
+            value: /services/studio/pgadmin/
       backendRefs:
         - name: pgadmin
           port: 80