silent push
This commit is contained in:
parent
29c37fb53e
commit
4abde6d82e
@ -10,10 +10,10 @@ git config user.email "${mail}"
|
||||
|
||||
# Deploy Github Pages
|
||||
ghp-import -b gh-pages -n build/html -m 'Update by travis automatically'
|
||||
git push "https://${GH_TOKEN}@${GH_REF}" gh-pages:gh-pages --force
|
||||
git push "https://${GH_TOKEN}@${GH_REF}" gh-pages:gh-pages --force --quiet
|
||||
|
||||
# Deploy offline HTML and PDF files
|
||||
mkdir build/${docdir} && cd build
|
||||
cp latex/${pdfname} ${docdir}/
|
||||
ghp-import -b ${docdir} ${docdir} -m 'Update by travis automatically'
|
||||
git push "https://${GH_TOKEN}@${GH_REF}" ${docdir}:${docdir} --force
|
||||
git push "https://${GH_TOKEN}@${GH_REF}" ${docdir}:${docdir} --force --quiet
|
||||
|
Loading…
x
Reference in New Issue
Block a user