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"