From 72f13a6cea9ef24920d99a80ff135b8503e731b2 Mon Sep 17 00:00:00 2001 From: Rohit Yadav Date: Tue, 12 Apr 2022 14:04:40 +0530 Subject: [PATCH] .github: fix incorrect tagging of PR author Due to github push events and restrictive github action access, the statement is changed without tagging the author with the assumption that the PR author is subscribed to the PR events and should get a notification and/or email. Signed-off-by: Rohit Yadav --- .github/workflows/merge-conflict-checker.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/merge-conflict-checker.yml b/.github/workflows/merge-conflict-checker.yml index be647da9283..d2aaca865ce 100644 --- a/.github/workflows/merge-conflict-checker.yml +++ b/.github/workflows/merge-conflict-checker.yml @@ -32,4 +32,4 @@ jobs: dirtyLabel: "status:has-conflicts" removeOnDirtyLabel: "status:ready-for-review" continueOnMissingPermissions: true - commentOnDirty: "Hi @${{ github.event.pull_request.user.login }}, your pull request has merge conflicts. Can you fix the conflicts and sync your branch with the base branch?" + commentOnDirty: "This pull request has merge conflicts. Dear author, please fix the conflicts and sync your branch with the base branch."