diff --git a/files/run_on_master.sh b/files/run_on_master.sh index 000b658..2f401c5 100644 --- a/files/run_on_master.sh +++ b/files/run_on_master.sh @@ -40,6 +40,7 @@ fi git checkout upstream/gh-pages bash update.sh > /dev/null 2>&1 +git add . if ! git diff --quiet; then git commit -q -am "Travis #$TRAVIS_BUILD_NUMBER: sync github pages"