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

[Erik Joelsson]

On Mon, 18 Apr 2022 17:04:51 GMT, Guoxiong Li <gli at openjdk.org> wrote:

>> Hi all,
>> 
>> This patch implements the features about the `/jep` command and JEP bot. The detailed designs and discussions are listed at [1][2].
>> 
>> Thanks for taking the time to review.
>> 
>> Best Regards,
>> -- Guoxiong
>> 
>> [1] https://mail.openjdk.java.net/pipermail/skara-dev/2021-December/005481.html
>> [2] https://mail.openjdk.java.net/pipermail/skara-dev/2022-March/005770.html
>
> 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.

This is starting to look good now. My only remaining concern is that the total execution time of the Skara tests goes up quite a bit with all these new and rather expensive tests. Not sure we can do much about this, perhaps something to investigate separately.

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

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