diff options
author | Jérémy Zurcher <jeremy@asynk.ch> | 2011-07-18 09:13:53 +0200 |
---|---|---|
committer | Jérémy Zurcher <jeremy@asynk.ch> | 2011-07-18 09:13:53 +0200 |
commit | 16f3a8f7e16284e9982d9fbffd44a06d6dad448e (patch) | |
tree | 6619167fbc380fa761c4603eed3e999a876b1940 | |
parent | 1496b766423b84aaa54c4efe6dc2ad99cc9aedbd (diff) | |
download | bin-16f3a8f7e16284e9982d9fbffd44a06d6dad448e.zip bin-16f3a8f7e16284e9982d9fbffd44a06d6dad448e.tar.gz |
git-synk: use git prune gc and repack when cleaning repo
-rwxr-xr-x | git-synk | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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}" |