From 2ea5f522f3c8423be7a322c89d0f9112ab6325bb 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 | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/tools/ci/config/deploy.yml b/tools/ci/config/deploy.yml
index c7118b7486..4964e388b0 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