From d9105ca9b461b01590ca792229c8380a75ee3fb4 Mon Sep 17 00:00:00 2001
From: Simon Sapin <simon.sapin@exyr.org>
Date: Tue, 12 Aug 2014 16:08:21 +0100
Subject: [PATCH] Make pushing to GitHub Pages verbose.

---
 travis.linux.script.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/travis.linux.script.sh b/travis.linux.script.sh
index 285d82fa2e4..e04478bc2f7 100755
--- a/travis.linux.script.sh
+++ b/travis.linux.script.sh
@@ -20,7 +20,7 @@ unit-doc)
       echo '<meta http-equiv=refresh content=0;url=servo/index.html>' > doc/index.html
       sudo pip install ghp-import
       ghp-import -n doc
-      git push -fq https://${TOKEN}@github.com/servo/doc.servo.org.git gh-pages
+      git push -f https://${TOKEN}@github.com/servo/doc.servo.org.git gh-pages
   fi
 ;;
 *) echo "Task $1 not enabled for Linux"