# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1502199846 -10800
# Node ID 850d2d84e4c8022a7d35ceda0573a99676a0a42c
# Parent  2ded7f1cf6c055fd5fa381edaeb26c9bcaafbc43
Undo mistaken rebase.

diff -r 2ded7f1cf6c0 -r 850d2d84e4c8 git.rst
--- a/git.rst	Tue Aug 08 00:17:59 2017 +0300
+++ b/git.rst	Tue Aug 08 16:44:06 2017 +0300
@@ -312,6 +312,14 @@
   $ git rebase --abort
   $ git reset --hard ORIG_HEAD
 
+Otherwise look to::
+
+  $ git reflog
+
+and reset to necessary head::
+
+  $ git reset --hard "HEAD@{...}"
+
 Debug git network operation
 ===========================