replace bad repo for the docker pull

No match.