From 4c255cb1fae7b0f93f3500d8fc95462b5b14efe8 Mon Sep 17 00:00:00 2001 From: Andreas Dangel Date: Sun, 13 Aug 2017 13:30:49 +0200 Subject: [PATCH] [ci] Fix script to actually push the docs --- .travis/build-deploy.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.travis/build-deploy.sh b/.travis/build-deploy.sh index 67a6b50070..4f15d505cd 100755 --- a/.travis/build-deploy.sh +++ b/.travis/build-deploy.sh @@ -4,7 +4,7 @@ set -e source .travis/common-functions.sh function push_docs() { - if git diff docs --quiet; then + if git diff --quiet docs; then echo "No changes in docs..." else echo "Found changes in docs..." @@ -14,7 +14,7 @@ function push_docs() { git config user.email "adangel+pmd-bot@users.sourceforge.net" git add -A docs git commit -m "Update documentation" - git push git@github.com:pmd/pmd.git master + git push git@github.com:pmd/pmd.git HEAD:master else echo "Not on master branch, won't commit+push" fi