ignore failed pushes

This commit is contained in:
Perry Govier 2016-12-05 16:50:31 -06:00 committed by GitHub
parent 49de11e761
commit f45f34442a

View File

@ -24,7 +24,7 @@ function run {
cd $SITE_DIR cd $SITE_DIR
# if no changes, don't commit # if no changes, don't commit
if git diff-index --quiet HEAD -- if ! git diff-index --quiet HEAD --
then then
echo "-- No changes detected for the following commit, docs not updated." echo "-- No changes detected for the following commit, docs not updated."
echo "https://github.com/driftyco/$CIRCLE_PROJECT_REPONAME/commit/$CIRCLE_SHA1" echo "https://github.com/driftyco/$CIRCLE_PROJECT_REPONAME/commit/$CIRCLE_SHA1"
@ -38,7 +38,7 @@ function run {
git fetch git fetch
git rebase git rebase
git push origin master git push origin master || :
echo "-- Updated docs for $VERSION_NAME succesfully!" echo "-- Updated docs for $VERSION_NAME succesfully!"
fi fi