Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-06 06:00:15 +01:00
Code Issues Projects Releases Packages Wiki Activity

Make pushing to GitHub Pages verbose.

Browse source
This commit is contained in:
Simon Sapin 2014-08-12 16:08:21 +01:00
parent 78743cfbb2
commit d9105ca9b4
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
travis.linux.script.sh
View file

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