diff options
| author | Simon Sapin <simon.sapin@exyr.org> | 2014-08-12 16:08:21 +0100 |
|---|---|---|
| committer | Simon Sapin <simon.sapin@exyr.org> | 2014-08-12 16:08:21 +0100 |
| commit | d9105ca9b461b01590ca792229c8380a75ee3fb4 (patch) | |
| tree | 27531baa1bb809dc38ee0e8120566066d04e4350 | |
| parent | 78743cfbb20e2cf1d9a7b3f805324ca0e84f3fc8 (diff) | |
| download | servo-d9105ca9b461b01590ca792229c8380a75ee3fb4.tar.gz servo-d9105ca9b461b01590ca792229c8380a75ee3fb4.zip | |
Make pushing to GitHub Pages verbose.
| -rwxr-xr-x | travis.linux.script.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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" |