[PATCH 2/2] CI: Allow a mirror to be specified for Docker Hub