Help !! Plus de mise à jour via spip_loader

Bonjour
depuis ce matin 10/05/2018 spip_loader.php ne répond plus
après enquête le lien https://core.spip.net/projects/spip/repository/raw/archivelist.txt est en erreur 502 Bad Gateway

Belle journée
Natacha