Skip to content

Merge branch 'develop' into feature/1307-gha-linting #884

Merge branch 'develop' into feature/1307-gha-linting

Merge branch 'develop' into feature/1307-gha-linting #884

name: "Auto-label a PR with a conflict"
on:
push:
pull_request_target:
types:
- synchronize
jobs:
main:
runs-on: ubuntu-latest
steps:
- name: Check if PRs have conflicts
uses: eps1lon/actions-label-merge-conflict@releases/2.x
with:
dirtyLabel: "PR: CONFLICT"
removeOnDirtyLabel: "Needs review"
repoToken: "${{ secrets.GITHUB_TOKEN }}"