Thank you, Mikko. Indeed I already made exactly as you explained, but ... I'm new in GiT and I supposed there was some quick command like git reset --hard ORIG_PREREBASE_HEAD ... however the solution is anyway simple. Thank you for your patience and availability. :-)
Il giorno sabato 6 aprile 2019 10:53:48 UTC+2, never...@gmail.com ha scritto: > > Hi all, > could anyone clarify the meaning and the usage of > > - *--root* command line option, > - *--merge* command line option (Maybe is it anyway related to merge > option in interactive todo-file?), > > possibly providing an example in principle? > The official documentation is very obscure because too synthetic ... it > could be understood just by whoever already knows GiT. > -- You received this message because you are subscribed to the Google Groups "Git for human beings" group. To unsubscribe from this group and stop receiving emails from it, send an email to git-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.