Fallimento aggiornamento: bug Docker Manager?

[gerhard (Gerhard Schlager)]

In effetti, sembra che l’abbia rotto e non me ne sia accorto perché tutte le mie repo avevano un branch main.
Lo sistemerò presto.