On Thu, 12 Feb 2026 at 18:37, Jason Moore <[email protected]> wrote: > > Having a look at how the matplotlib pr went, we should definitely just ban > that user account quickly. The bot started writing blog posts shaming > matplotlib developers!
I'm not sure that banning the account quickly would prevent that. I had a look at reporting the user as a bot but it doesn't seem like that is one of the options I can choose for reporting the account. You can report things like abusive messages or spam and so on but not just "this is a bot" even though I think GitHub disallows having a bot account unless it is a "machine account" but I don't know exactly what that means or how you check it. -- Oscar -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/sympy/CAHVvXxRbU_-waT23rJZpjnK-TM1s%3DFN0wvUT%2BhrUhexPg0P3EA%40mail.gmail.com.
