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 https://github.com/coq/coq/wiki/Home/ed3fd6a6f231f7b1c960f105f909f432475bdb71 (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