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 /unwip | |
| parent | 79d79a6937647fb19a340fc8f8585c9080a60a1b (diff) | |
| download | bin-9f30667b1e0b398e0fb97eaf6917e1e1ad5c8261.zip bin-9f30667b1e0b398e0fb97eaf6917e1e1ad5c8261.tar.gz | |
unwip : fix
Diffstat (limited to 'unwip')
| -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 |
