Is it because GitPod customizes the IDEs in some way that cannot be accomplished with extensions? Thanks!
MS does not allow to integrate VS Code Server in public or commercial services: https://code.visualstudio.com/docs/remote/faq#_can-i-use-the-vs-code-remote-development-extensions-to-build-my-own-product-or-service We have to build our own Gitpod Code Server based on the fork: https://github.com/gitpod-io/vscode
In Q2, we are going to work on SSH mode for Gitpod workspace meaning that you will be able to connect your desktop VS Code using MS based VS Code Remote Development with Gitpod. In such way we won’t violate any MS proprietary licenses.
That makes sense. Thanks. But, please, what about Theia then? Is GitPod also using a fork? I guess there aren’t any licensing problems there? I heard WebSockets are being used to communicate source code changes between the UI and the backend? Maybe the fork is related to this?
Theia is a framework to build IDEs. There is no Theia IDE and because of it there cannot be a fork. There is Gitpod Theia based on Theia IDE framework: https://github.com/gitpod-io/theia-app
That answers my question(s) Thank you.