update workspace to include public-api-server

svenefftinge · svenefftinge · commit 23651912543b · 2022-09-16T06:47:30.000Z
diff --git a/gitpod-ws.code-workspace b/gitpod-ws.code-workspace
@@ -23,6 +23,7 @@
         { "path": "components/ws-daemon" },
         { "path": "components/ws-manager" },
         { "path": "components/ws-proxy" },
+        { "path": "components/public-api-server" },
         { "path": "test" },
         { "path": "dev/blowtorch" },
         { "path": "dev/changelog" },
