Disable Circle CI's auto deploy for now

tatsuya6502 · tatsuya6502 · commit cd0abbd2277f · 2019-06-25T09:16:56.000+08:00
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -14,11 +14,11 @@ jobs:
       - run: mdbook test
       - store_artifacts:
           path: docs
-      - deploy:
-          name: If master branch, publish to GitHub Page
-          command: |
-            if [ "x_${CIRCLE_BRANCH}" == "x_master" ]; then
-              git config user.name "bn-e (CircleCI)"
-              git config user.email "bn-e@hibaridb.org"
-              ./tools/circleci/push-to-master.sh
-            fi
+      # - deploy:
+      #     name: If master branch, publish to GitHub Page
+      #     command: |
+      #       if [ "x_${CIRCLE_BRANCH}" == "x_master" ]; then
+      #         git config user.name "bn-e (CircleCI)"
+      #         git config user.email "bn-e@hibaridb.org"
+      #         ./tools/circleci/push-to-master.sh
+      #       fi
