diff options
Diffstat (limited to 'git-prune-script')
-rwxr-xr-x | git-prune-script | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/git-prune-script b/git-prune-script index 1a97ccc91d..ec9f72de79 100755 --- a/git-prune-script +++ b/git-prune-script @@ -14,19 +14,6 @@ done : ${GIT_DIR=.git} : ${GIT_OBJECT_DIRECTORY="${SHA1_FILE_DIRECTORY-"$GIT_DIR/objects"}"} -# Defaulting to include .git/refs/*/* may be debatable from the -# purist POV but power users can always give explicit parameters -# to the script anyway. - -case "$#" in -0) - x_40='[0-9a-f][0-9a-f][0-9a-f][0-9a-f][0-9a-f]' - x_40="$x_40$x_40$x_40$x_40$x_40$x_40$x_40$x_40" - set x $(sed -ne "/^$x_40\$/p" \ - "$GIT_DIR"/HEAD "$GIT_DIR"/refs/*/* /dev/null 2>/dev/null) - shift ;; -esac - git-fsck-cache --cache --unreachable "$@" | sed -ne '/unreachable /{ s/unreachable [^ ][^ ]* // |