Dangerous repo found

During looking for sth Ive discovered dangerous repo containing miner. Should not this be deleted?