summaryrefslogtreecommitdiffstats
path: root/tools/travis-push.sh
Commit message (Expand)AuthorAgeFilesLines
* 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