2023-10-22 12:53:43 +02:00
|
|
|
name: "Label conflicting PRs"
|
|
|
|
|
on:
|
|
|
|
|
push:
|
|
|
|
|
pull_request_target:
|
|
|
|
|
types: [ synchronize ]
|
|
|
|
|
pull_request:
|
|
|
|
|
types: [ synchronize ]
|
|
|
|
|
|
|
|
|
|
permissions:
|
|
|
|
|
pull-requests: write
|
|
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
main:
|
|
|
|
|
if: github.event.pull_request.user.login != 'dependabot[bot]'
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
steps:
|
|
|
|
|
- name: Label conflicting PRs
|
2024-05-10 14:53:16 +02:00
|
|
|
uses: eps1lon/actions-label-merge-conflict@v3.0.1
|
2023-10-22 12:53:43 +02:00
|
|
|
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
|
