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
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