Update deploy_docs.bash

kipoi · Aug 24, 2018 · 7f01717 · 7f01717
1 parent b88e86f
commit 7f01717
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.circleci/deploy_docs.bash b/.circleci/deploy_docs.bash
@@ -66,10 +66,10 @@ cp -r ${DOCHTML} $STAGING/${TARGET_FOLDER}
 cd $STAGING
 
 # committing with no changes results in exit 1, so check for that case first.
-if git diff --quiet; then
-    echo "No changes to push -- exiting cleanly"
-    exit 0
-fi
+# if git diff --quiet; then
+#     echo "No changes to push -- exiting cleanly"
+#     exit 0
+# fi
 
 # Ignore branch
 # if [[ $CIRCLE_BRANCH != master ]]; then