summaryrefslogtreecommitdiffstats
path: root/git-synk
diff options
context:
space:
mode:
authorJérémy Zurcher <jeremy@asynk.ch>2011-07-15 10:48:27 +0200
committerJérémy Zurcher <jeremy@asynk.ch>2011-07-15 10:48:27 +0200
commit1496b766423b84aaa54c4efe6dc2ad99cc9aedbd (patch)
tree3346603b9bd783bb1c5039adb8838a2fb39daecd /git-synk
parentf122b679daebca061edd6c4de8d2bcc5e9bd0936 (diff)
downloadbin-1496b766423b84aaa54c4efe6dc2ad99cc9aedbd.zip
bin-1496b766423b84aaa54c4efe6dc2ad99cc9aedbd.tar.gz
git-synk: if dirty but action is push ... go on
Diffstat (limited to 'git-synk')
-rwxr-xr-xgit-synk4
1 files changed, 3 insertions, 1 deletions
diff --git a/git-synk b/git-synk
index 0e84306..4a8b9e4 100755
--- a/git-synk
+++ b/git-synk
@@ -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