Hey! Thanks for the explanation, but I don’t fully understand the two projects. Is this built with code-server, or do the server parts of Gitpod come from Microsoft? Where should I submit PRs?
Hi, Mike from Gitpod here. This project does not use code-server. It is instead a very lightweight server added to the official open source VS Code repo from Microsoft.
We documented this in more detail in the "Source Code Organization" chapter at https://github.com/gitpod-io/openvscode-server/blob/main/doc....
As to where to submit PRs:
- Anything to do with running VS Code in a server context: gitpod-io/openvscode-server
- Anything else related to VS Code: microsoft/vscode
We have no intention of changing VS Code in any way or to add additional features to VS Code itself.