diff options
author | Jérémy Zurcher <jeremy@asynk.ch> | 2020-09-07 17:46:19 +0200 |
---|---|---|
committer | Jérémy Zurcher <jeremy@asynk.ch> | 2020-09-07 17:46:19 +0200 |
commit | 79d79a6937647fb19a340fc8f8585c9080a60a1b (patch) | |
tree | 27ccb561a13bddc0e93565125fb8836d7d9ef2fa | |
parent | 29af39c779bc159f621ff4fe7c6a413b913ae23c (diff) | |
download | bin-79d79a6937647fb19a340fc8f8585c9080a60a1b.zip bin-79d79a6937647fb19a340fc8f8585c9080a60a1b.tar.gz |
unwip : fix git log usage
-rwxr-xr-x | unwip | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -7,7 +7,7 @@ then git add . && git commit -m WIP && git push --force elif [ "$cmd" == "unwip" ] then - while [ $(git log --format="%s" HEAD~1..) == "WIP" ] + while [ "$(git log --format="%s" HEAD~1..)" == "WIP" ] do git reset --hard HEAD~1 done |