From 30aeefeb1ac5c62fd0f23b4ef66c4de7649d2fce Mon Sep 17 00:00:00 2001
From: efb4f5ff-1298-471a-8973-3d47447115dc
 <73130443+efb4f5ff-1298-471a-8973-3d47447115dc@users.noreply.github.com>
Date: Thu, 14 Dec 2023 21:04:13 +0000
Subject: [PATCH] Delete .github/workflows/dummy-conflicts.yml

---
 .github/workflows/dummy-conflicts.yml | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 .github/workflows/dummy-conflicts.yml

diff --git a/.github/workflows/dummy-conflicts.yml b/.github/workflows/dummy-conflicts.yml
deleted file mode 100644
index ed1fa3f..0000000
--- a/.github/workflows/dummy-conflicts.yml
+++ /dev/null
@@ -1,9 +0,0 @@
-name: Dummy workflow for conflicts
-on:
-  pull_request_review:
-    types: [submitted]
-jobs:
-  dummy:
-    runs-on: ubuntu-latest
-    steps:
-      - run: echo "this is a dummy workflow that triggers a workflow_run; it's necessary because otherwise the repo secrets will not be in scope for externally forked pull requests"