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

Fri Apr 22 07:34:26 UTC 2022

On Thu, 21 Apr 2022 17:56:33 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 one additional commit since the last revision:
> 
>   Add log.

Marked as reviewed by ihse (Reviewer).

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

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