diff options
author | Jérémy Zurcher <jeremy@asynk.ch> | 2012-08-23 23:28:28 +0200 |
---|---|---|
committer | Jérémy Zurcher <jeremy@asynk.ch> | 2012-08-23 23:28:28 +0200 |
commit | 7b3b6fc23baab2083e760db3fc85c7497988681c (patch) | |
tree | 1e78e32ab8e510e8aa5e1223d89202b8ffe447ff | |
parent | 37a7224c29c209659b0078b6f4bbf8a46b509b63 (diff) | |
download | bin-7b3b6fc23baab2083e760db3fc85c7497988681c.zip bin-7b3b6fc23baab2083e760db3fc85c7497988681c.tar.gz |
git-push-all: don't be redundant
-rwxr-xr-x | git-push-all | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/git-push-all b/git-push-all index 18fd4f9..cf90de9 100755 --- a/git-push-all +++ b/git-push-all @@ -2,8 +2,7 @@ # opts=${1:-"--all"} echo -e "\033[0;31mgit repack\033[0m" -git fsck --unreachable && git prune && git gc --aggressive -git repack -ad --depth=250 --window=250 +git gc --prune --aggressive for host in $(git remote); do echo -e "\033[0;35mpush to \033[0;31m$host \033[0;36m$opts\033[0m" && git push $opts $host done |