CI: Remove merge conflict bot for now

This commit is contained in:
Colin Edwards 2020-03-03 20:23:25 -06:00 committed by GitHub
parent 91d5a9c895
commit e99849e1fc
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,12 +0,0 @@
on:
push:
branches:
- master
jobs:
triage:
runs-on: ubuntu-latest
steps:
- uses: mschilde/auto-label-merge-conflicts@master
with:
CONFLICT_LABEL_NAME: "Has Conflicts"
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}