Skip to content
This repository has been archived by the owner on Oct 21, 2020. It is now read-only.

updated run.sh to get more info about why github push fails #44

Merged
merged 1 commit into from
Feb 13, 2017
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions run.sh
Original file line number Diff line number Diff line change
Expand Up @@ -16,11 +16,11 @@ if [[ $TRAVIS_PULL_REQUEST == "false" ]] && [[ $TRAVIS_BRANCH = "master" ]]; the
&& cp -r ../target/site/apidocs/* ./ \
&& git add . \
&& git commit -m "Deployed to Github Pages" \
&& git push --force --quiet "https://${GH_TOKEN}@${GH_REF}" master:gh-pages > /dev/null 2>&1
&& git push --force --quiet "https://${GH_TOKEN}@${GH_REF}" master:gh-pages
exit $?
else
mvn clean package javadoc:aggregate javadoc:jar source:jar-no-fork \
&& cd samples \
&& mvn clean package
exit $?
fi
fi