From 1496b766423b84aaa54c4efe6dc2ad99cc9aedbd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=A9r=C3=A9my=20Zurcher?= <jeremy@asynk.ch>
Date: Fri, 15 Jul 2011 10:48:27 +0200
Subject: git-synk: if dirty but action is push ... go on

---
 git-synk | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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
-- 
cgit v1.1-2-g2b99