From f00e6feccf617d90c85c36ff3bbb0b919d9cc366 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 64625d4583..aa8db6b2f3 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -460,9 +460,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