J’ajouterai le journal complet bientôt…
Après avoir ajouté le DNS montré ici, je peux utiliser github sans problème.