spam messages keep coming to the lean-user google group

Stream: general

[Bulhwi Cha]

Nine spam messages have been sent to the lean-user Google group since November 27.

[Johan Commelin]

Is there any non-spam traffic?

[Mario Carneiro]

not since Nov 27

[Mario Carneiro]

the last message that was not a job ad or CfP was https://groups.google.com/g/lean-user/c/_A82awhFlcM from May 2020

[Scott Morrison]

Do we have any idea who owns this group?

[Floris van Doorn]

I expect that Leo owns the group.

[Ruben Van de Velde]

There's a button on https://groups.google.com/g/lean-user/about that's supposed to allow contacting the owners, but it doesn't work here

[Scott Morrison]

Floris van Doorn said:

I expect that Leo owns the group.

I've asked.