"git-fetch --tags $URL" should not overwrite existing tags

[git.git] / git-gc.sh

diff --git a/git-gc.sh b/git-gc.sh
index 6de55f729258200a0215f65bbacb0a1cf1c0c51f..3e8c87c814baaef650484cdd77484858c09e29c4 100755 (executable)
--- a/git-gc.sh
+++ b/git-gc.sh
@@ -4,12 +4,26 @@
 #
 # Cleanup unreachable files and optimize the repository.
 
-USAGE=''
+USAGE='git-gc [--prune]'
 SUBDIRECTORY_OK=Yes
 . git-sh-setup
 
+no_prune=:
+while case $# in 0) break ;; esac
+do
+       case "$1" in
+       --prune)
+               no_prune=
+               ;;
+       --)
+               usage
+               ;;
+       esac
+       shift
+done
+
 git-pack-refs --prune &&
 git-reflog expire --all &&
 git-repack -a -d -l &&
-git-prune &&
+$no_prune git-prune &&
 git-rerere gc || exit