1#
2# See https://github.com/marketplace/actions/label-conflicting-pull-requests
3#
4name: "Maintenance"
5on:
6  # So that PRs touching the same files as the push are updated
7  push:
8  # So that the `dirtyLabel` is removed if conflicts are resolve
9  # We recommend `pull_request_target` so that github secrets are available.
10  # In `pull_request` we wouldn't be able to change labels of fork PRs
11  pull_request_target:
12    types: [synchronize]
13
14jobs:
15  main:
16    name: "Check conflicts"
17    runs-on: ubuntu-latest
18    steps:
19      - name: check if prs are dirty
20        uses: eps1lon/actions-label-merge-conflict@releases/2.x
21        with:
22          dirtyLabel: "has conflicts"
23          repoToken: "${{ secrets.GITHUB_TOKEN }}"
24          commentOnDirty: "This pull request has conflicts, please resolve those before we can evaluate the pull request."
25          commentOnClean: "Conflicts have been resolved. A maintainer will review the pull request shortly."
26