https://www.gitpod.io/docs/config-docker#configure-a-public-docker-image