# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1520083378 -7200
# Node ID ac7f6d8bea28ed30b4afc9f1f1e1b73da47a38bc
# Parent  2813a509381c33c0a58ef1f5b5d850f75291d60b
Undo mistaken push.

diff -r 2813a509381c -r ac7f6d8bea28 git.rst
--- a/git.rst	Sat Feb 10 19:24:00 2018 +0200
+++ b/git.rst	Sat Mar 03 15:22:58 2018 +0200
@@ -405,6 +405,18 @@
 * https://stackoverflow.com/questions/5788037/recover-from-git-reset-hard
 * https://stackoverflow.com/questions/14251194/how-to-recover-after-i-execute-git-reset-hard-head
 
+Undo mistaken push
+==================
+::
+
+  $ git reset HEAD^
+  $ git push --force
+
+Alternative commands may look like::
+
+  $ git reset --hard $HASH
+  $ git push -u origin master --force
+
 Git bisect
 ==========