Missing double quote in bot's comment

[Guoxiong Li]

Hi all,

When new developers post comments in Github, the bot will override the
comments and remind the new developers to sign the OpenJDK terms of use[1].
Among the bot's comments, the following statement misses a closed double
quote.

> Please Use "Add GitHub user hboehm for the summary.

It should be:

> Please Use "Add GitHub user hboehm" for the summary.

And I searched the skara code in order to solve this issue. But I can't
find any code about it. Did I miss anything? The related code seems not
open source?

[1] https://github.com/openjdk/jdk/pull/16644#discussion_r1406857727

Best Regards,
-- Guoxiong
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/skara-dev/attachments/20240126/8629f4b3/attachment-0001.htm>