Description
Hey maintainers of leanprover-community!
I’ve noticed today that there are quite a few bot accounts leaving seemingly random and unhelpful comments on issues in various public repos. After digging around a bit, I came across this file in the queueboard project, which seems to be managed by your team. It looks like these bots might be connected to this.
I’m curious if this spam behavior is intentional or if something might have gone awry. These comments are unfortunately creating a bit of a mess for the maintainers of the affected repos. Here are a couple of examples of impacted repositories that I’ve come across:
Cherry Studio: CherryHQ/cherry-studio#5832
ComfyUI: comfyanonymous/ComfyUI#8037
Could you shed some light on this? Any help or clarification would be greatly appreciated! Thanks!