Do we not have the ability to ban people in the irc channel?

@notjack: Only chanops can do that, and it seems we have a shortage of chanops.

It’s worrisome how long that trolling went on without intervention

I believe it. #stackoverflow went through some of that a while ago. I’ve since given existing ops the ability to add other ops to the access list, so that hopefully we have lots of coverage throughout the day. But that doesn’t solve the problem for #racket, of course.

Hmmm

Who are the chanops?

Hah, I don’t have access to look at the list (for #racket).

For #stackoverflow, use /msg ChanServ flags #stackoverflow.

notjack: the current goal is to ignore the troll. banning just give him what he wants

see https://blog.freenode.net/2007/05/silence-is-golden-handling-trolls-and-spammers/

@florence: True fact.