Gitpod is a developer platform providing on-demand, pre-configured cloud development environments...