Elle vivait le temps d'une merge request, et son serveur a été démonté avec elle. Ce n'est pas une panne : c'est le ménage.