valeriomasciotta.it
Come fare revert di un merge non ancora pushato
Si può eseguire questo comando 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.