kernel.org случайно опустошили директорию /pub
На kernel.org пропала вся видимая `/pub`-дериктория после ошибки при переключении primary/secondary mirroring infrastructure. Konstantin Ryabitsev уточнил, что данные не потеряны, исчезли только публичные mirror copies — то есть не апокалипсис, а очень неловкий инфраструктурный щелчок по носу. Хорошее напоминание, что даже у kernel.org есть день, когда репликация решает пошутить.