Tag Archives: risolvere problemi github

Giusto ieri stavo buildando DotOS 5 per XZ1 (Android 11) e, mentre modificavo i vari file necessari, ad un certo punto il terminale, dopo aver dato il classico comando Repo Sync (ecc.) mi restituisce il seguente errore: fatal: remote github not defined in /percorsomiahome/nomecartellaos/bipitibopitiwho/manifest.xml” a quel punto non ho la …