workflow for checking PR conflicts

This commit is contained in:
Tomaae 2020-04-22 18:34:31 +02:00 committed by GitHub
parent a4f456ec84
commit 572c51a3e1
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

13
.github/workflows/conflicts.yml vendored Normal file
View file

@ -0,0 +1,13 @@
on:
push:
pull_request:
types: [opened, synchronize, reopened]
jobs:
check_conflicts:
name: Check for PR merge conflicts
runs-on: ubuntu-latest
steps:
- uses: mschilde/auto-label-merge-conflicts@master
with:
CONFLICT_LABEL_NAME: "conflict"
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}