Re: Gitorius: push impossibile

Non ho provato adesso a inviare commit su gitorius, ma potrebbe essersi trattato di un problema temporaneo? Hai riprovato successivamente?