diff options
author | Jérémy Zurcher <jeremy@asynk.ch> | 2020-09-11 19:07:22 +0200 |
---|---|---|
committer | Jérémy Zurcher <jeremy@asynk.ch> | 2020-09-11 19:07:22 +0200 |
commit | 9f30667b1e0b398e0fb97eaf6917e1e1ad5c8261 (patch) | |
tree | b143530b4bb989e24077cdcc0588b90b7ded8ac1 | |
parent | 79d79a6937647fb19a340fc8f8585c9080a60a1b (diff) | |
download | bin-9f30667b1e0b398e0fb97eaf6917e1e1ad5c8261.zip bin-9f30667b1e0b398e0fb97eaf6917e1e1ad5c8261.tar.gz |
unwip : fix
-rwxr-xr-x | unwip | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -11,7 +11,12 @@ then do git reset --hard HEAD~1 done - git pull && git reset --soft HEAD~1 && git reset && git status + git pull || exit 1 + while [ "$(git log --format="%s" HEAD~1..)" == "WIP" ] + do + git reset --soft HEAD~1 + done + git reset && git status else echo "unknown cmd '$cmd'" && exit 1 fi |