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.
eic · Dec 31, 2023 · d742ffe · d742ffe
1 parent b901ffb
commit d742ffe
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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: