Shorten no merge conflict message
Signed-off-by: Christian König <ckoenig@posteo.de>
This commit is contained in:
parent
8d2e023ec0
commit
12674c0824
|
@ -18,4 +18,4 @@ jobs:
|
||||||
dirtyLabel: "PR: Merge Conflict"
|
dirtyLabel: "PR: Merge Conflict"
|
||||||
repoToken: "${{ secrets.GITHUB_TOKEN }}"
|
repoToken: "${{ secrets.GITHUB_TOKEN }}"
|
||||||
commentOnDirty: "This pull request has conflicts, please resolve those before we can evaluate the pull request."
|
commentOnDirty: "This pull request has conflicts, please resolve those before we can evaluate the pull request."
|
||||||
commentOnClean: "Conflicts have been resolved. A maintainer will review the pull request shortly."
|
commentOnClean: "Conflicts have been resolved."
|
||||||
|
|
Loading…
Reference in New Issue