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