Do the admins of that site receive a report if one of their users reports something?

Reports go to four places:

• The community moderators.
• The admins of the instance the community is hosted in. (lemmy.sdf.org)
• The admins of the instance the reporting user is from. (discuss.tchncs.de)
• The admins of the instance the reported user is from. (also lemmy.sdf.org in this case)

So yeah, the admins of discuss.tchncs.de acted in this case. Why? I’m not sure.

(cc @[email protected])