Risolvere “fatal: remote github not defined”!

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 più pallida idea di cosa fare. Apro il file e non trovo niente di anomali, torno a specificare nuovamente su repo le mie credenziali GitHub ma nulla da fare.

Come risolvere remote github not defined!

Per risolvere, basta semplicemente aprire il file manifest.xml indicato nel percorso dell’errore ed aggiungere questo all’interno:

<remote name=”github”
fetch=”https://github.com/” />

salvate e tornate a fare repo sync. Funzionerà perfettamente 😀