Comment by rmetzler

Your setup sounds a lot like gitpod.io