From c820a3937aa20a7bab53e256d7a6080a15ba5037 Mon Sep 17 00:00:00 2001 From: Peer Richelsen Date: Mon, 18 Sep 2023 21:16:22 +0200 Subject: [PATCH] chore: send comment about merge conflict (#11345) Co-authored-by: Leo Giovanetti --- .github/workflows/merge-conflict | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 .github/workflows/merge-conflict diff --git a/.github/workflows/merge-conflict b/.github/workflows/merge-conflict new file mode 100644 index 0000000000..c9f8ca5b02 --- /dev/null +++ b/.github/workflows/merge-conflict @@ -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