Dockerfiles should use git tags/hashes to refer to required versions
We are currently cloning the HEAD
of several dependencies (most notably Mercury) when creating a docker image for the CI. This can cause problems with packages that commit directly to master
if we create and push the image when the HEAD
is unstable.
See #65 (closed) for what can happen.