replace bad repo for the docker pull