| 123456789101112131415161718192021 |
- 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
|
