From f45f34442a38d2b59cd7146c14caf3c7fc99042d Mon Sep 17 00:00:00 2001
From: Perry Govier <perrygovier@users.noreply.github.com>
Date: Mon, 5 Dec 2016 16:50:31 -0600
Subject: [PATCH] ignore failed pushes

---
 scripts/docs/update_docs.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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