Gitpod is an open source developer platform automating the provisioning of ready-to-code development environments.