Capito, in realtà! Avevamo selezionato un commit un anno fa per risolvere qualcosa di rotto nel main, e il plugin Docker update manager non l’ha gradito (probabilmente non aveva un controllo per una git head staccata), il che ha interrotto il deploy. Fare un git reset –hard && ./launcher rebuild app sul server l’ha risolto alla fine, ma nel frattempo è stato molto confusionario 
4 Mi Piace