From 91d5dab2e6483dde53c7feef6546f10d67b53419 Mon Sep 17 00:00:00 2001
From: Richard Mortier <mort@cantab.net>
Date: Wed, 2 May 2018 11:52:40 +0100
Subject: [PATCH] travis-docker: try to make git quieter

Signed-off-by: Richard Mortier <mort@cantab.net>
---
 .travis-docker.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis-docker.sh b/.travis-docker.sh
index da85357..f658aa2 100644
--- a/.travis-docker.sh
+++ b/.travis-docker.sh
@@ -31,7 +31,7 @@ if [ -n "$BASE_REMOTE" ]; then
     echo "RUN git remote set-url origin ${BASE_REMOTE} &&\
         git fetch origin && git reset --hard origin/master"  >> Dockerfile
 else
-    echo RUN git pull origin master >> Dockerfile
+    echo RUN git pull -q origin master >> Dockerfile
 fi