name: Label PRs with merge conflicts

on:
  # So that PRs touching the same files as the push are updated.
  push:
  # So that the `dirtyLabel` is removed if conflicts are resolved.
  # We recommend `pull_request_target` so that github secrets are available.
  # In `pull_request` we wouldn't be able to change labels of fork PRs.
  pull_request_target:
    types: [synchronize]

permissions:
  pull-requests: write

jobs:
  main:
    runs-on: ubuntu-latest
    steps:
      - name: Check if PRs are dirty
        uses: eps1lon/actions-label-merge-conflict@1df065ebe6e3310545d4f4c4e862e43bdca146f0 # v3.0.3
        with:
          dirtyLabel: "PR: has conflicts"
          repoToken: "${{ secrets.GITHUB_TOKEN }}"
          commentOnDirty: "This PR has conflicts, please resolve them in order for the PR to be reviewed."
          commentOnClean: "All conflicts have been resolved. Assigned reviewers can now start or resume their review."