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 @qrstuv@lemmy.sdf.org)
https://github.com/godotengine/godot-docs
This is the source for Godot's documentation. You could clone the repo (in reST format) or download one of the releases (in HTML format) offline, so you wouldn't even need to query anything online.