chore: send comment about merge conflict (#11345)

Co-authored-by: Leo Giovanetti <hello@leog.me>
pull/11356/head^2
Peer Richelsen 2023-09-18 21:16:22 +02:00 committed by GitHub
parent 5c24ed2ef7
commit c820a3937a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 18 additions and 0 deletions

18
.github/workflows/merge-conflict vendored Normal file
View File

@ -0,0 +1,18 @@
name: Auto Comment Merge Conflicts
on: push
permissions:
pull-requests: write
jobs:
auto-comment-merge-conflicts:
runs-on: ubuntu-latest
steps:
- uses: codytseng/auto-comment-merge-conflicts@v1
with:
token: ${{ secrets.GITHUB_TOKEN }}
comment-body: "Hey there, there is a merge conflict, can you take a look?"
wait-ms: 3000
max-retries: 5
label-name: "🚨 merge conflict"
ignore-authors: dependabot,otherAuthor