From 469b7bc4cfb7ad940f0cbc5aaa871a3dd4bbae04 Mon Sep 17 00:00:00 2001
From: Angus Gratton <angus@espressif.com>
Date: Fri, 22 May 2020 15:04:39 +1000
Subject: [PATCH] ci: Don't push to Github or deploy docs on customized
 pipelines

BOT_TRIGGER_WITH_LABEL must be empty (meaning all tests are running).
---
 tools/ci/config/deploy.yml | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

diff --git a/tools/ci/config/deploy.yml b/tools/ci/config/deploy.yml
index 16be52055..524b5b401 100644
--- a/tools/ci/config/deploy.yml
+++ b/tools/ci/config/deploy.yml
@@ -53,9 +53,12 @@ push_to_github:
   tags:
     - deploy
   only:
-    - master
-    - /^release\/v/
-    - /^v\d+\.\d+(\.\d+)?($|-)/
+    refs:
+      - master
+      - /^release\/v/
+      - /^v\d+\.\d+(\.\d+)?($|-)/
+    variables:
+      - $BOT_TRIGGER_WITH_LABEL == null
   when: on_success
   dependencies: []
   extends: .before_script_lesser
@@ -124,6 +127,8 @@ deploy_docs_production:
       - master
       - /^release\/v/
       - /^v\d+\.\d+(\.\d+)?($|-)/
+    variables:
+      - $BOT_TRIGGER_WITH_LABEL == null
   variables:
     TYPE: "preview"
     DOCS_DEPLOY_PRIVATEKEY: "$DOCS_PROD_DEPLOY_KEY"