I'm not sure what to believe, but the curious thing is even years later the repository in question doesn't seem to have been taken down.