Comment by christianmm

Similar to gitpod.io but that one is faster to spin up, at least for OSS