From 16f3a8f7e16284e9982d9fbffd44a06d6dad448e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=A9r=C3=A9my=20Zurcher?= Date: Mon, 18 Jul 2011 09:13:53 +0200 Subject: git-synk: use git prune gc and repack when cleaning repo --- git-synk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/git-synk b/git-synk index 4a8b9e4..2d3f9f7 100755 --- a/git-synk +++ b/git-synk @@ -46,7 +46,7 @@ for gitdir in ${GIT_DIR}; do echo -e "${RED}KO${RESET}" && cd .. && continue fi # GC + CLEAN - echo -ne " ${CYAN}clean$RESET ... " && git gc 2>/dev/null && git diff --quiet && echo -e "${GREEN}OK${RESET}" + echo -ne " ${CYAN}clean$RESET ... " && git prune && git gc --quiet && git repack && git diff --quiet && echo -e "${GREEN}OK${RESET}" if [ $? -ne 0 ]; then if [ "$action" = "push" ]; then echo -e "dirty but ${GREEN}OK${RESET}" -- cgit v1.1-2-g2b99