This is a downstream version of pjcdawkins/docker-psh-cli. It only adds known hosts for the common platform.sh git servers so that you don't have to in your own files. See this issue for more context.
This replaces our earlier Docker image (now archived) as that had a few problems. We ultimately decided to extend a community Docker image with our small customisation.
TODO