ci: add labeling merge conflicts

Borda · Sep 2, 2023 · b25f4ee · b25f4ee
1 parent 8dfcafd
commit b25f4ee
Showing 1 changed file with 22 additions and 0 deletions.
diff --git a/.github/workflows/label-conflicts.yml b/.github/workflows/label-conflicts.yml
@@ -0,0 +1,22 @@
+name: Label conflicts
+
+on:
+  push:
+    branches: ["master"]
+  pull_request_target:
+    types: ["synchronize", "reopened", "opened"]
+
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
+jobs:
+  triage-conflicts:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: mschilde/auto-label-merge-conflicts@8c6faa8a252e35ba5e15703b3d747bf726cdb95c  # Oct 25, 2021
+        with:
+          CONFLICT_LABEL_NAME: "has conflicts"
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          MAX_RETRIES: 3
+          WAIT_MS: 5000