Merge branch 'master' of github.com:kipoi/kipoi-interpret

kipoi · Oct 6, 2018 · 5f0398a · 5f0398a
2 parents 0f33f8b + 7f01717
commit 5f0398a
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