add public-api-server to vscode workspace

svenefftinge · svenefftinge · commit be4ee5005613 · 2022-09-16T09:48:23.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" },
