OK, ho “risolto”. In qualche modo il git checkout non aveva fatto il pull correttamente e stava usando una strana vecchia combinazione di immagine e configurazione.
Ho rifatto il pull, ricominciando da capo. Penso che ora dovrei essere in grado di procedere. grazie
1 Mi Piace