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