summaryrefslogtreecommitdiff
path: root/.github/workflows/pr-conflicts.yml
blob: 87bc8c9ff7057865e4f39c50d6de7245c448811b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
name: "PR Conflicts checker"
on:
  pull_request_target:
    types: [synchronize]

jobs:
  Conflict_Check:
    name: 'Check PR status: conflicts and resolution'
    runs-on: ubuntu-18.04
    steps:
      - name: check if PRs are dirty
        uses: eps1lon/actions-label-merge-conflict@releases/2.x
        with:
          dirtyLabel: "state: conflict"
          removeOnDirtyLabel: "state: conflict resolved"
          repoToken: "${{ secrets.GITHUB_TOKEN }}"
          commentOnDirty: "This pull request has conflicts, please resolve those before we can evaluate the pull request."
          commentOnClean: "Conflicts have been resolved. A maintainer will review the pull request shortly."