[jarfil]

Archiving the repo doesn't stop the downloads. They would need to rename it in order to prevent distro CI/CD from keeping downloading untrustworthy stuff.

[account42]

Distros downloading directly from GitHub deserve what they get.