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 '' > 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"