RFR: SKARA-1096: New command and label for JEPs, similar to CSR [v8]

[Magnus Ihse Bursie]

On Tue, 19 Apr 2022 15:22:45 GMT, Magnus Ihse Bursie <ihse at openjdk.org> wrote:

>> Guoxiong Li has updated the pull request incrementally with two additional commits since the last revision:
>> 
>>  - Redo: Change labels after comment.
>>  - Revert: Change labels after comment.
>
> bots/pr/src/main/java/org/openjdk/skara/bots/pr/JEPCommand.java line 98:
> 
>> 96:             }
>> 97:             reply.println(unneededMarker);
>> 98:             reply.println("determined that the [JEP](https://openjdk.java.net/jeps) request " +
> 
> Suggestion:
> 
>             reply.println("determined that the JEP request " +

... and possibly join with the line below, depending on line length (hard to tell in github review mode)

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

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