Browse Source

👷 Detect and label merge conflicts on PRs automatically (#14045)

pull/14046/head
Sofie Van Landeghem 1 week ago
committed by GitHub
parent
commit
bb4772c5aa
No known key found for this signature in database GPG Key ID: B5690EEEBB952194
  1. 19
      .github/workflows/detect-conflicts.yml

19
.github/workflows/detect-conflicts.yml

@ -0,0 +1,19 @@
name: "Conflict detector"
on:
push:
pull_request_target:
types: [synchronize]
jobs:
main:
permissions:
contents: read
pull-requests: write
runs-on: ubuntu-latest
steps:
- name: Check if PRs have merge conflicts
uses: eps1lon/actions-label-merge-conflict@v3
with:
dirtyLabel: "conflicts"
repoToken: "${{ secrets.GITHUB_TOKEN }}"
commentOnDirty: "This pull request has a merge conflict that needs to be resolved."
Loading…
Cancel
Save