name: "Label conflicting PRs"
on:
  push:
  pull_request_target:
    types: [synchronize]

permissions:
  pull-requests: write

jobs:
  main:
    if: ${{ github.event.pull_request.user.login != 'dependabot[bot]' && github.repository_owner == 'jenkinsci' }}
    runs-on: ubuntu-latest
    steps:
      - name: Label conflicting PRs
        uses: eps1lon/actions-label-merge-conflict@0273be72a0bbd58fcd71d0d6c02c209b50d1e5e1 # v3.1.0
        with:
          dirtyLabel: "unresolved-merge-conflict"
          repoToken: "${{ secrets.GITHUB_TOKEN }}"
          commentOnDirty: "Please take a moment and address the merge conflicts of your pull request. Thanks!"
          continueOnMissingPermissions: true