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 ++--
 .github/workflows/remove-merge-needed-label.yml | 32 +++++++++++++++++++++++++
 2 files changed, 35 insertions(+), 2 deletions(-)
 create mode 100644 .github/workflows/remove-merge-needed-label.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
diff --git a/.github/workflows/remove-merge-needed-label.yml b/.github/workflows/remove-merge-needed-label.yml
new file mode 100644
index 00000000..0ff57523
--- /dev/null
+++ b/.github/workflows/remove-merge-needed-label.yml
@@ -0,0 +1,32 @@
+name: Remove merge label
+
+on:
+  - pull_request_target
+
+
+permissions:
+  contents: read
+  pull-requests: write
+
+jobs:
+  check-mergability:
+    env:
+      GH_TOKEN:
+        ${{ secrets.GITHUB_TOKEN }}
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+        with:
+          fetch-depth: 0
+      - run: |
+          echo This is the merginator 2000 speaking, i am now checking your mergability
+          if git merge-tree "$(git merge-base ${{ github.event.pull_request.base.sha }} ${{ github.event.pull_request.head.sha }})" ${{ github.event.pull_request.head.sha }} "${{ github.event.pull_request.base.sha }}" | grep "^<<<<<<<\|changed in both" >/dev/null; then
+            echo "This PR is deemed: dirty :("
+            echo "{\"labels\":[\"$MERGE_LABEL\"]}"|gh api -X POST --input - "$ISSUE_PATH" || true
+          else
+            echo This PR is deemed: clean!
+            gh api -X DELETE $ISSUE_PATH/$MERGE_LABEL || true
+          fi
+        env:
+          MERGE_LABEL: needs-merge
+          ISSUE_PATH: /repos/${{ github.repository }}/issues/${{ github.event.pull_request.number }}/labels
-- 
cgit