Fixing merge pipeline (hoprnet#5544)

BorkBorked · Sep 27, 2023 · 181e3c6 · 181e3c6
1 parent 98c6a64
commit 181e3c6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/merge.yaml b/.github/workflows/merge.yaml
@@ -4,7 +4,7 @@ on:
   pull_request:
     types:
       - closed
-      # - synchronize
+      #- synchronize
 
 concurrency:
   group: merge