phoedos/pmd
1
1
Fork 1
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[ci] [doc] Skip updating gh-pages, if only feed.xml changed

Browse Source
This commit is contained in:
Andreas Dangel
2018-06-19 09:04:08 +02:00
parent e1066fe5ae
commit 8f49328bfa
1 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
.travis/build-doc.sh
View File

@ -73,10 +73,14 @@ if [[ "${VERSION}" == *-SNAPSHOT && "${TRAVIS_BRANCH}" == "master" ]]; then
git config user.name "Travis CI (pmd-bot)"
git config user.email "andreas.dangel+pmd-bot@adangel.org"
git add -A
git commit -q -m "Update documentation"
git push git@github.com:pmd/pmd.git HEAD:gh-pages
if [[ $(git diff --cached --name-only) = "feed.xml" ]]; then
log_info "Skipping commit, only feed.xml changed"
else
git commit -q -m "Update documentation"
git push git@github.com:pmd/pmd.git HEAD:gh-pages
log_success "Successfully pushed site to https://pmd.github.io/pmd/"
fi
)
log_success "Successfully pushed site to https://pmd.github.io/pmd/"
fi
popd