From f66312d41cc1c8170aee4561b60aaa9f836cfea5 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).
---
 .gitlab-ci.yml | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7bab05489..93cf75130 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -605,9 +605,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: []
   before_script: *do_nothing_before