summaryrefslogtreecommitdiffstats
path: root/tools/travis-push.sh
Commit message (Expand)AuthorAgeFilesLines
* mv docs/versions.json docs/packages.jsonBoris Nagaev2016-12-221-1/+1
* travis-push.sh: do not push to gh-pagesBoris Nagaev2016-08-271-1/+0
* Make Travis CI build build-matrix.htmlTimothy Gu2016-01-031-1/+1
* cleanup styleTony Theodore2015-11-211-1/+1
* suppress git commit error in TravisBoris Nagaev2015-11-191-1/+1
* travis-push: make sure "git commit" succeededBoris Nagaev2015-10-131-1/+1
* travis: commit and push only if GH_TOKEN is setBoris Nagaev2015-10-131-0/+13