| | name: "Pull Request auto-label" |
| | on: |
| | |
| | push: |
| | |
| | |
| | |
| | pull_request_target: |
| | types: [opened, synchronize] |
| | concurrency: |
| | group: ${{ format('pr-label-{0}', github.event.pull_request.number || github.sha) }} |
| | cancel-in-progress: true |
| |
|
| | jobs: |
| | conflicts: |
| | runs-on: ubuntu-latest |
| | permissions: |
| | contents: read |
| | pull-requests: write |
| | steps: |
| | - name: Update PRs with conflict labels |
| | uses: eps1lon/actions-label-merge-conflict@releases/2.x |
| | with: |
| | dirtyLabel: "conflicts" |
| | |
| | repoToken: "${{ secrets.GITHUB_TOKEN }}" |
| | commentOnDirty: "This pull request has conflicts with the base branch, please resolve those so we can evaluate the pull request." |
| | commentOnClean: "Conflicts have been resolved! 🎉 A maintainer will review the pull request shortly." |
| |
|