try fix push_doc error

chyikwei · Sep 11, 2018 · 3a7b1fb · 3a7b1fb
1 parent 288d5dc
commit 3a7b1fb
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/ci_scripts/circleci/push_doc.sh b/ci_scripts/circleci/push_doc.sh
@@ -29,6 +29,8 @@ for name in $(ls -A $HOME/$DOC_REPO); do
         ;;
         circle.yml) # Config so that build gh-pages branch.
         ;;
+        .git)
+        ;;
         *)
         git rm -rf $name
         ;;