The bot doesn't add commit comment to the JMH issues
Guoxiong Li
lgxbslgx at gmail.com
Wed Sep 21 08:05:43 UTC 2022
And sometimes the author might forget to close the issue or forget to add
the
commit comment when the pull request has been merged by using the GItHub UI.
CODETOOLS-7902804 [1] is an example.
[1] https://bugs.openjdk.org/browse/CODETOOLS-7902804
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/jmh-dev/attachments/20220921/11aa10f9/attachment.htm>
More information about the jmh-dev
mailing list