Re: [racket-users] Core Team: I need you decide what I should do about the spammer.

2021-12-18 Thread Matthias Felleisen
+2! And many thanks. (I was personally spared this spam until very recently. No clue why) — Matthias > On Dec 18, 2021, at 2:55 PM, Robby Findler wrote: > > +1! Thank you. > > Robby > > On Sat, Dec 18, 2021 at 1:43 PM Matthew Flatt > wrote: > The "members"

Re: [racket-users] Core Team: I need you decide what I should do about the spammer.

2021-12-18 Thread Robby Findler
+1! Thank you. Robby On Sat, Dec 18, 2021 at 1:43 PM Matthew Flatt wrote: > The "members" option sounds right to me. Thanks for tracking down a way > to improve the situation! > > At Sat, 18 Dec 2021 19:35:23 +, Sage Gerard wrote: > > Core team, > > > > Sam asked me to issue bans for a

Re: [racket-users] Core Team: I need you decide what I should do about the spammer.

2021-12-18 Thread Matthew Flatt
The "members" option sounds right to me. Thanks for tracking down a way to improve the situation! At Sat, 18 Dec 2021 19:35:23 +, Sage Gerard wrote: > Core team, > > Sam asked me to issue bans for a troublesome spammer. I've done so, even > just today. I understand I need quorum for larger

[racket-users] Core Team: I need you decide what I should do about the spammer.

2021-12-18 Thread Sage Gerard
Core team, Sam asked me to issue bans for a troublesome spammer. I've done so, even just today. I understand I need quorum for larger decisions. This is why I have not yet reconfigured the list to permanently stop the spammer. After researching the problem further, I need your urgent attention.