Reviewed-by: David von Oheimb <david.von.oheimb@siemens.com>
Reviewed-by: Paul Dale <pauli@openssl.org>
(Merged from https://github.com/openssl/tools/pull/110)
ORIG_TARGET_HEAD=`git show -s --format="%H"`
git pull --ff-only `git rev-parse --abbrev-ref @{u} | sed "s|/| |"`
CHERRYPICKING=1
-git cherry-pick -e -x $id~$num..$id || (git cherry-pick --abort; exit 1)
+git cherry-pick -e -x $id~$num..$id || (echo 'Fix or Ctrl-d to abort' ; read || exit 1)
CHERRYPICKING=
while true ; do