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

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?