Après une panne mondiale, GitHub annonce le retour à la normale