Integrated: 1994: Reply from /reviewer credit can be clearer

[Zhao Song]

On Tue, 22 Aug 2023 17:38:30 GMT, Zhao Song <zsong at openjdk.org> wrote:

> This patch improved the bot's reply in some cases when the pr author issues '/reviewer <user>' command.
> 
> When the pr author is trying to credit an user with '/reviewer <user>' command,
> 
> If the user already approved this pr, Skara bot should reply "Reviewer <user> has already made an authenticated review of this PR, and does not need to be credited manually." 
> 
> If the user already reviewed this pr(but not approved), Skara bot should reply "Reviewer <user> has already made an authenticated review of this PR, but did not approve it. Manually crediting them is not allowed."

This pull request has now been integrated.

Changeset: 30fda5b3
Author:    Zhao Song <zsong at openjdk.org>
URL:       https://git.openjdk.org/skara/commit/30fda5b389426b6bb17160e83f9873e29514e9ff
Stats:     26 lines in 2 files changed: 25 ins; 0 del; 1 mod

1994: Reply from /reviewer credit can be clearer

Reviewed-by: erikj

-------------

PR: https://git.openjdk.org/skara/pull/1547