Aggiungerò presto il log completo…
Dopo aver aggiunto il DNS mostrato qui, posso usare github senza problemi.