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