3 ms·
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 Micro
by throwaway284534 5y ago
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?
- mikenikles 5y agoHi, 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/docs/development.md 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.