Hey, @dhedge, it seems the bot comment call has stopped working about a day ago, please fix it, thanks!