diff options
author | Jérémy Zurcher <jeremy@asynk.ch> | 2020-08-18 09:51:01 +0200 |
---|---|---|
committer | Jérémy Zurcher <jeremy@asynk.ch> | 2020-08-18 09:51:01 +0200 |
commit | 76f5615e74643260747d981f44c98a0076da5adc (patch) | |
tree | cad24a0fbb7cc57ccbc712c50748bd3281634c18 | |
parent | b33c4623ed06dfa2e8c418e5fa74fce68044b179 (diff) | |
download | bin-76f5615e74643260747d981f44c98a0076da5adc.zip bin-76f5615e74643260747d981f44c98a0076da5adc.tar.gz |
add [un]wip
-rwxr-xr-x | unwip | 17 | ||||
l--------- | wip | 1 |
2 files changed, 18 insertions, 0 deletions
@@ -0,0 +1,17 @@ +#! /bin/sh + +cmd=${0##*/} + +if "$cmd" == "wip" + git add . && git commit -m WIP && git push --force +then +elif "$cmd" == "unwip" + while [ $(git log --format="%s" HEAD~1..) == "WIP" ] + do + git reset --hard HEAD~1 + done + git pull && git reset --soft HEAD~1 && git reset && git status +else + echo "unknown cmd '$cmd'" && exit 1 +fi + @@ -0,0 +1 @@ +unwip
\ No newline at end of file |