Merge "replace bad repo for the docker pull"