The worrisome part is that whoever responds may get shamed personally in a blog post on the bot's website...
Jason moorepants.info +01 530-601-9791 On Fri, Feb 13, 2026 at 12:09 AM Oscar Benjamin <[email protected]> wrote: > 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 > . > -- 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/CAP7f1Ain5V4GquXwxuP0icu5zRP8jCHzxPDd5rLvgo18i58pjA%40mail.gmail.com.
