RFR: 1437: Fix the OpenJDK official role name and pluralization [v2]

[Guoxiong Li]

On Sat, 14 May 2022 12:59:49 GMT, Guoxiong Li <gli at openjdk.org> wrote:

>> bots/pr/src/main/java/org/openjdk/skara/bots/pr/ReviewersCommand.java line 148:
>> 
>>> 146:         var nonZeroDescriptions = formatLimits.entrySet().stream()
>>> 147:                 .filter(entry -> entry.getValue() > 0)
>>> 148:                 .map(entry -> entry.getValue() + " " + String.format(entry.getKey(), entry.getValue() > 1 ? "s" : "", "http://openjdk.java.net/bylaws"))
>> 
>> This really should use "https" rather than "http".
>
> It is good to fix it at this PR. I am fixing it now.

Done.

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

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