Integrated: 1725: Clarify "no known role" error message

[Zhao Song]

On Thu, 19 Jan 2023 22:27:09 GMT, Zhao Song <zsong at openjdk.org> wrote:

> A user reported that when people review PRs, the bot adds a list of reviewers into description. If a user is not registered in OpenJDK Census, a note is added: 
> 
> (no known github.com user name / role) 
> 
> What it actually means is "no known OpenJDK user name / role".
> 
> Github.com is being used here because we are utilizing the name of the namespace. However, the purpose of the namespace is to map users from this namespace to either openjdk or internal. Actually, we couldn't find the user in openjdk or internal, not in the namespace. The census repository name can indicate whether it is openjdk or internal.

This pull request has now been integrated.

Changeset: 33b3cc32
Author:    Zhao Song <zsong at openjdk.org>
URL:       https://git.openjdk.org/skara/commit/33b3cc328d16307a43303b4b4f0c6bb10951c31e
Stats:     1 line in 1 file changed: 0 ins; 0 del; 1 mod

1725: Clarify "no known role" error message

Reviewed-by: gli, erikj

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

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