pick-to-branch: revert cherry-pick if aborted by user

Reviewed-by: Paul Dale <pauli@openssl.org>
Reviewed-by: Tomas Mraz <tomas@openssl.org>
(Merged from https://github.com/openssl/tools/pull/98)

diff --git a/review-tools/pick-to-branch b/review-tools/pick-to-branch
index e7e10008e88effe7535cb12f7591dc0ec1316395..a953252b6273846ee632678279fd7065381adf1a 100755 (executable)
--- a/review-tools/pick-to-branch
+++ b/review-tools/pick-to-branch
@@ -113,4 +113,6 @@ done
 if [ "$x" = "y" -o "$x" = "yes" ]
 then
     git push
+else
+    git reset --hard @~1
 fi