diff options
| author | Jérémy Zurcher <jeremy@asynk.ch> | 2020-08-18 15:59:53 +0200 |
|---|---|---|
| committer | Jérémy Zurcher <jeremy@asynk.ch> | 2020-08-18 15:59:53 +0200 |
| commit | 0de3da9b4607ecb71d27b7dc5e4199934db9c5b9 (patch) | |
| tree | 75a2f990f51de9cb18ff6fa0edc708522baa88fd | |
| parent | 76f5615e74643260747d981f44c98a0076da5adc (diff) | |
| download | bin-0de3da9b4607ecb71d27b7dc5e4199934db9c5b9.zip bin-0de3da9b4607ecb71d27b7dc5e4199934db9c5b9.tar.gz | |
unwip : fix untested thing
| -rwxr-xr-x | unwip | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -2,10 +2,11 @@ cmd=${0##*/} -if "$cmd" == "wip" +if [ "$cmd" == "wip" ] +then git add . && git commit -m WIP && git push --force +elif [ "$cmd" == "unwip" ] then -elif "$cmd" == "unwip" while [ $(git log --format="%s" HEAD~1..) == "WIP" ] do git reset --hard HEAD~1 @@ -14,4 +15,3 @@ elif "$cmd" == "unwip" else echo "unknown cmd '$cmd'" && exit 1 fi - |