summaryrefslogtreecommitdiff
path: root/.github/workflows/pr-conflicts.yml
blob: 72ff3969b93bd0bb852acb0f47cfa4e6ad56e579 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
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."