From e9c4e044c076250fcde6ddbdea1ea8c7f9cbf43d Mon Sep 17 00:00:00 2001
From: Roman / Linnea Gräf <roman.graef@gmail.com>
Date: Mon, 31 Oct 2022 11:18:55 +0100
Subject: Add label to unmerged PRs (#404)

---
 .github/workflows/infer.yml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to '.github/workflows/infer.yml')

diff --git a/.github/workflows/infer.yml b/.github/workflows/infer.yml
index 7a035a42..049b9d3b 100644
--- a/.github/workflows/infer.yml
+++ b/.github/workflows/infer.yml
@@ -1,12 +1,13 @@
 name: Infer
 
 on:
-  - pull_request
+  - pull_request_target
   - workflow_dispatch
+permissions: {}
 jobs:
   inferering:
     runs-on: ubuntu-latest
-
+    if: "!contains(github.event.head_commit.message, '[no infer]')"
     steps:
       - uses: actions/checkout@v3
         name: Checkout feature
-- 
cgit