CI: Temperaroily disable deploy_docs_production since needs has a bug which will be fixed in GitLab 13.4

tools/ci/config/deploy.yml

@@ -86,24 +86,24 @@ deploy_docs_preview:
     DOCS_DEPLOY_PATH: "$DOCS_PATH"
     DOCS_DEPLOY_URL_BASE: "https://$CI_DOCKER_REGISTRY/docs/esp-idf"
 
-# deploy docs to production webserver
+## deploy docs to production webserver
-deploy_docs_production:
+#deploy_docs_production:
-  # The DOCS_PROD_* variables used by this job are "Protected" so these branches must all be marked "Protected" in Gitlab settings
+#  # The DOCS_PROD_* variables used by this job are "Protected" so these branches must all be marked "Protected" in Gitlab settings
-  extends:
+#  extends:
-    - .deploy_docs_template
+#    - .deploy_docs_template
-    - .rules:protected-no_label
+#    - .rules:protected-no_label
-  stage: post_deploy
+#  stage: post_deploy
-  needs: # ensure runs after push_to_github succeeded
+#  needs: # ensure runs after push_to_github succeeded
-    - build_docs_html
+#    - build_docs_html
-    - build_docs_pdf
+#    - build_docs_pdf
-    - push_to_github
+#    - push_to_github
-  variables:
+#  variables:
-    TYPE: "preview"
+#    TYPE: "preview"
-    DOCS_DEPLOY_PRIVATEKEY: "$DOCS_PROD_DEPLOY_KEY"
+#    DOCS_DEPLOY_PRIVATEKEY: "$DOCS_PROD_DEPLOY_KEY"
-    DOCS_DEPLOY_SERVER: "$DOCS_PROD_SERVER"
+#    DOCS_DEPLOY_SERVER: "$DOCS_PROD_SERVER"
-    DOCS_DEPLOY_SERVER_USER: "$DOCS_PROD_SERVER_USER"
+#    DOCS_DEPLOY_SERVER_USER: "$DOCS_PROD_SERVER_USER"
-    DOCS_DEPLOY_PATH: "$DOCS_PROD_PATH"
+#    DOCS_DEPLOY_PATH: "$DOCS_PROD_PATH"
-    DOCS_DEPLOY_URL_BASE: "https://docs.espressif.com/projects/esp-idf"
+#    DOCS_DEPLOY_URL_BASE: "https://docs.espressif.com/projects/esp-idf"
 
 deploy_test_result:
   extends: