RFR: 635: Add census link for credited reviewers [v2]

[Guoxiong Li]

On Mon, 6 Dec 2021 15:52:35 GMT, Erik Joelsson <erikj at openjdk.org> wrote:

>> Guoxiong Li has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   Fix the output message.
>
> bots/pr/src/main/java/org/openjdk/skara/bots/pr/CheckRun.java line 403:
> 
>> 401:             ret.append("@");
>> 402:             ret.append(user.username());
>> 403:             ret.append(" (Unknown ");
> 
> I think I prefer the original message "no known <namespace> user name / role".

Fixed.

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

PR: https://git.openjdk.java.net/skara/pull/1252