Merge pull request #222 from gaborigloi/centos_7_docker

Fix BASE_REMOTE in .travis-docker.sh in CentOS 7 containers

Author: edwintorok

Diff for: .travis-docker.sh

@@ -29,7 +29,7 @@ echo WORKDIR /home/opam/opam-repository >> Dockerfile
 
 if [ -n "$BASE_REMOTE" ]; then
     echo "RUN git remote set-url origin ${BASE_REMOTE} &&\
-        git fetch origin master && git reset --hard origin/master"  >> Dockerfile
+        git fetch origin && git reset --hard origin/master"  >> Dockerfile
 else
     echo RUN git pull origin master >> Dockerfile
 fi