Si può eseguire questo comando [crayon-5ecc25b74316b747962645/] Dove ORIG_HEAD punterà all'ultimo commit prima del merge. -- merge non ha niente a che fare con il classico merge, è come eseguire git reset --hard ORIG_HEAD, ma più sicuro visto che non tocca i file non ancora committati.
Quando si deve lavorare con diversi accounts Git sullo stesso terminale, va effettuata una configurazione particolare delle chiavi ssh. Questo perché non si può usare la stessa chiave SSH per 2 account diversi, ma bisogna crearne 2 distinti e configurare il client ssh di conseguenza. Per prima cosa creiamo 2 chiavi distinte: [crayon-5ecc25b74365a547692286/] Aggiungete quindi
Se stai lavorando al tuo progetto, magari in team o da diversi terminali, spesso capita che vengono effettuati commit di files dove l'unica cosa che è cambiata è il permesso di lettura/scrittura degli stessi. Per evitare questo problema si può impostare git in modo che ignori il cambio dei permessi. Questa risposta di stackoverflow è
