Shorten no merge conflict message (#5085)

This commit is contained in:
DL6ER 2022-12-22 23:07:50 +01:00 committed by GitHub
commit 58231e55df
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -18,4 +18,4 @@ jobs:
dirtyLabel: "PR: Merge Conflict"
repoToken: "${{ secrets.GITHUB_TOKEN }}"
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."