# HG changeset patch
# User Raphaël Gomès <rgomes@octobus.net>
# Date 1688466631 -7200
# Node ID 929655c0e613c0430e97f958911bb1fc285a60f6
# Parent  1aba446bf8e62c984630ef2fe70c4756f8b6db0e
heptapod-ci: turn off pipelines for merge request events

These are always duplicated by the external (from the user) push, or internal
(from Heptapod itself) push pipeline, so they're entirely redundant.

diff -r 1aba446bf8e6 -r 929655c0e613 contrib/heptapod-ci.yml
--- a/contrib/heptapod-ci.yml	Tue Jul 04 12:23:05 2023 +0200
+++ b/contrib/heptapod-ci.yml	Tue Jul 04 12:30:31 2023 +0200
@@ -11,6 +11,8 @@
     - if: $CI_COMMIT_BRANCH =~ /^branch\/.*/ && $CI_PIPELINE_SOURCE != "web"
       when: never
     - if: $CI_PIPELINE_SOURCE == "merge_request_event"
+      when: never
+    - if: $CI_PIPELINE_SOURCE == "push"
       when: always
     - if: $CI_COMMIT_BRANCH && $CI_OPEN_MERGE_REQUESTS
       when: never