Hi, Immediately after a finished rebase, is it true that ORIG_HEAD points to the previous tip of the branch? So that `git reset --hard ORIG_HEAD` will cancel the rebase? P.S. I'm asking because most of time that is so, but there is at least one case when ORIG_HEAD breaks that assumption. Not sure if it's a bug or not. --- Best Regards, Ilya Kantor
