Theia on gitpod.io

Hello, Is there any difference between the theia editor on gitpod.io and the Theia that is available https://github.com/theia-ide/theia?

Are the features and packages exposed there on gitpod.io ( git, debug, terminal, search, call hierarchy, outlinee ) all these same basic packages within the theia github repo? https://github.com/theia-ide/theia/tree/master/packages

I’m just trying to get a sense if there were customizations, improvements, modifications to Theia to create that nice experience. I’m thinking about using theia for a web-ide project and wondered if gitpod.io is an example of what I would expect of Theia out-of-the-box. ( I’m sure there’s a ton of work on the infrastructure, etc, of course )

[original thread by dehru]

Hi, most of it is standard Theia. The code review stuff (inline comments), the cli and some other things have been added.

[dehru]

Thanks Sven!