Come fare revert di un merge non ancora pushato
Si può eseguire questo comando [crayon-647d29155ed1f372435654/] 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.