diff options
author | Jérémy Zurcher <jeremy@asynk.ch> | 2011-07-15 10:48:27 +0200 |
---|---|---|
committer | Jérémy Zurcher <jeremy@asynk.ch> | 2011-07-15 10:48:27 +0200 |
commit | 1496b766423b84aaa54c4efe6dc2ad99cc9aedbd (patch) | |
tree | 3346603b9bd783bb1c5039adb8838a2fb39daecd /git-synk | |
parent | f122b679daebca061edd6c4de8d2bcc5e9bd0936 (diff) | |
download | bin-1496b766423b84aaa54c4efe6dc2ad99cc9aedbd.zip bin-1496b766423b84aaa54c4efe6dc2ad99cc9aedbd.tar.gz |
git-synk: if dirty but action is push ... go on
Diffstat (limited to 'git-synk')
-rwxr-xr-x | git-synk | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -48,7 +48,9 @@ for gitdir in ${GIT_DIR}; do # GC + CLEAN echo -ne " ${CYAN}clean$RESET ... " && git gc 2>/dev/null && git diff --quiet && echo -e "${GREEN}OK${RESET}" if [ $? -ne 0 ]; then - if [ $USE_STASH -eq 1 ]; then + if [ "$action" = "push" ]; then + echo -e "dirty but ${GREEN}OK${RESET}" + elif [ $USE_STASH -eq 1 ]; then STASH=1 echo -e "${RED}head is not clean, ${CYAN}git stash save${RESET}" && git stash save -q else |