The bot doesn't add commit comment to the JMH issues

Guoxiong Li lgxbslgx at
Wed Sep 21 08:05:43 UTC 2022

And sometimes the author might forget to close the issue or forget to add
commit comment when the pull request has been merged by using the GItHub UI.
CODETOOLS-7902804 [1] is an example.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the skara-dev mailing list