Disable gh-pages push from CircleCI

Author: Will Feng

.jenkins/build.sh

@@ -157,22 +157,23 @@ elif [[ "${JOB_BASE_NAME}" == *manager ]]; then
   7z a manager.7z docs
   aws s3 cp manager.7z s3://${BUCKET_NAME}/${COMMIT_ID}/manager.7z --acl public-read
 
-  # Step 7: push new HTML files and static files to gh-pages
-  if [[ "$COMMIT_SOURCE" == master ]]; then
-    git clone https://github.com/pytorch/tutorials.git -b gh-pages gh-pages
-    cp -r docs/* gh-pages/
-    pushd gh-pages
-    # DANGER! DO NOT REMOVE THE `set +x` SETTING HERE!
-    set +x
-    git remote set-url origin https://${GITHUB_PYTORCHBOT_USERNAME}:${GITHUB_PYTORCHBOT_TOKEN}@github.com/pytorch/tutorials.git
-    set -x
-    git add -f -A || true
-    git config user.email "soumith+bot@pytorch.org"
-    git config user.name "pytorchbot"
-    git commit -m "Automated tutorials push" || true
-    git status
-    git push origin gh-pages
-  fi
+  # yf225 TODO: re-enable this after tutorial build is fixed
+  # # Step 7: push new HTML files and static files to gh-pages
+  # if [[ "$COMMIT_SOURCE" == master ]]; then
+  #   git clone https://github.com/pytorch/tutorials.git -b gh-pages gh-pages
+  #   cp -r docs/* gh-pages/
+  #   pushd gh-pages
+  #   # DANGER! DO NOT REMOVE THE `set +x` SETTING HERE!
+  #   set +x
+  #   git remote set-url origin https://${GITHUB_PYTORCHBOT_USERNAME}:${GITHUB_PYTORCHBOT_TOKEN}@github.com/pytorch/tutorials.git
+  #   set -x
+  #   git add -f -A || true
+  #   git config user.email "soumith+bot@pytorch.org"
+  #   git config user.name "pytorchbot"
+  #   git commit -m "Automated tutorials push" || true
+  #   git status
+  #   git push origin gh-pages
+  # fi
 else
   make docs
 fi