[arch-general] Kernel.org compromised. Are Arch users safe?

[Paulo Guedes]

Since mirrors.kernel.org is one of the main mirrors used in Arch what's the
best measureus to take right know? Format the computer and reinstall arch?
Uninstall any update since last week?