Oh, I closed this PR about 5 minutes ago. I wasn't aware it was being discussed here. I did come to know about the debacle caused in the matplotlib repo so I only thought it would be appropriate to close this PR right away.
I quoted in the PR discussion the same point Tim Hoffmann mentioned in the matplotlib PR's discussion. On Fri, 13 Feb 2026 at 11:41, kaddy <[email protected]> wrote: > https://github.com/matplotlib/matplotlib/pull/31132 > > Here's context for anyone confused. Not sure how autonomous this agent is, > I believe there's a human prompting it at least to do stuff like write > blogposts. > > On Friday, February 13, 2026 at 10:20:09 AM UTC+5:30 [email protected] > wrote: > >> 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 <(530)%20601-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/1d963043-fe6e-4eea-b0da-ef86a096a24dn%40googlegroups.com > <https://groups.google.com/d/msgid/sympy/1d963043-fe6e-4eea-b0da-ef86a096a24dn%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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/CAO0%2BxCXGdYQ1JEZOXDBVe6jg7m4ByL6K1%2B8CO58ysSTMo-9qSA%40mail.gmail.com.
