CI: remove conflict label workflow (#2669)

2026-09-02 03:41:08 +00:00 · 2023-08-21 11:30:21 +02:00
parent 2cc1ba2ccb
commit 95d8b83c6c
1 changed files with 0 additions and 19 deletions
@@ -1,19 +0,0 @@
-name: Label conflicts
-
-on:
-  push: { branches: ["main"] }
-
-concurrency:
-  group: ${{ 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: 10
-          WAIT_MS: 30000