Please see https://github.com/eclipse-theia/theia/issues/7349#issuecomment-599591096 https://github.com/eclipse-theia/theia/issues/7349#issuecomm... You can tr

Please see https://github.com/eclipse-theia/theia/issues/7349#issuecomment-599591096 https://github.com/eclipse-theia/theia/issues/7349#issuecomm... You can try Theia via Gitpod: https://dev.to/svenefftinge/continuous-dev-environments-the-next-step-in-devops-4ab7 https://dev.to/svenefftinge/continuous-dev-environments-the-... For instance run Theia repo itself: https://gitpod.io/#https://github.com/eclipse-theia/theia https://gitpod.io/#https://github.com/eclipse-theia/theia