From 1216598d09fb59293013612c2d4e03d922f84805 Mon Sep 17 00:00:00 2001
From: Dmitry Kalinkin <dmitry.kalinkin@gmail.com>
Date: Sat, 30 Dec 2023 23:59:31 -0500
Subject: [PATCH] mirror.yml: don't trigger on pull_request

For this to work, it needs some custom code to create ad-hoc branches with merged PR state. Let's disable this for now.
---
 .github/workflows/mirror.yaml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/workflows/mirror.yaml b/.github/workflows/mirror.yaml
index 4587b030..f066e235 100644
--- a/.github/workflows/mirror.yaml
+++ b/.github/workflows/mirror.yaml
@@ -1,7 +1,6 @@
 name: Mirror and Trigger EICweb
 
 on:
-  pull_request:
   push:
   workflow_dispatch:
 
-- 
GitLab