Stream: Coq devs & plugin devs

Topic: wiki spam

view this post on Zulip Gaëtan Gilbert (Sep 08 2021 at 13:37):

There was an attempt to put ip logger links on the wiki
I removed the offending commits
You can still see it at (the "Installation of Coq on Windows" link) until github garbage collects

view this post on Zulip Théo Zimmermann (Sep 08 2021 at 13:47):

I've reported the abuse to GitHub. We can also block the user if it happens again.

Last updated: Oct 15 2021 at 20:02 UTC