]> git.puffer.fish Git - mirror/frr.git/commitdiff
github: Add `conflicts`/`no_conflicts` labels for PRs 12121/head
authorDonatas Abraitis <donatas@opensourcerouting.org>
Thu, 13 Oct 2022 05:18:59 +0000 (08:18 +0300)
committerDonatas Abraitis <donatas@opensourcerouting.org>
Thu, 13 Oct 2022 05:18:59 +0000 (08:18 +0300)
Just to quickly identify which PRs needs attention on rebasing.

Signed-off-by: Donatas Abraitis <donatas@opensourcerouting.org>
.github/workflows/conflicts.yml [new file with mode: 0644]

diff --git a/.github/workflows/conflicts.yml b/.github/workflows/conflicts.yml
new file mode 100644 (file)
index 0000000..18a8c0d
--- /dev/null
@@ -0,0 +1,21 @@
+name: Add a conflict label is PR needs to rebase
+
+on:
+  push:
+  pull_request_target:
+    types: [synchronize]
+
+jobs:
+  conflicts:
+    runs-on: ubuntu-latest
+    permissions:
+      contents: read
+      pull-requests: write
+    steps:
+      - name: Check if PRs need a rebase (have some conflicts)
+        uses: eps1lon/actions-label-merge-conflict@releases/2.x
+        with:
+          dirtyLabel: "conflicts"
+          removeOnDirtyLabel: "no_conflicts"
+          repoToken: "${{ secrets.GITHUB_TOKEN }}"
+          commentOnDirty: "This pull request has conflicts, please resolve those before we can evaluate the pull request."