.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 <rohit.yadav@shapeblue.com>
This commit is contained in:
Rohit Yadav 2022-04-12 14:04:40 +05:30
parent 431c352a6d
commit 72f13a6cea

View File

@ -32,4 +32,4 @@ jobs:
dirtyLabel: "status:has-conflicts" dirtyLabel: "status:has-conflicts"
removeOnDirtyLabel: "status:ready-for-review" removeOnDirtyLabel: "status:ready-for-review"
continueOnMissingPermissions: true 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."