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

@@ -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