diff options
| author | Jérémy Zurcher <jeremy@asynk.ch> | 2011-06-14 09:01:52 +0200 |
|---|---|---|
| committer | Jérémy Zurcher <jeremy@asynk.ch> | 2011-06-14 09:01:52 +0200 |
| commit | a7e0369e209b0c8b0379847e9dac72b59b40aa8f (patch) | |
| tree | 71a5349c12b798aca0b47d95542d14fa911f220f | |
| parent | 5d61f2751b718658ad5b88faca114b39115d248e (diff) | |
| download | bin-a7e0369e209b0c8b0379847e9dac72b59b40aa8f.zip bin-a7e0369e209b0c8b0379847e9dac72b59b40aa8f.tar.gz | |
add git-push-all
| -rwxr-xr-x | git-push-all | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/git-push-all b/git-push-all new file mode 100755 index 0000000..18fd4f9 --- /dev/null +++ b/git-push-all @@ -0,0 +1,9 @@ +#! /bin/bash +# +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 +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 |