7 if [ "$2" = "tag" ]; then
8 merge_name="refs/tags/$3"
9 destination="$merge_name"
13 : ${GIT_OBJECT_DIRECTORY="${SHA1_FILE_DIRECTORY-"$GIT_DIR/objects"}"}
16 # remote_path="$1" local_file="$2"
19 wget -q -O "$2" "$1" ;;
21 test -f "$1" && cat >"$2" "$1" ;;
28 # remote_repo="$1" head_sha1="$2"
31 git-http-pull -a "$2" "$1/"
34 git-local-pull -l -a "$2" "$1/"
37 rsync -avz --ignore-existing \
38 "$1/objects/." "$GIT_OBJECT_DIRECTORY"/.
43 echo "Getting remote $merge_name"
44 download_one "$merge_repo/$merge_name" "$GIT_DIR/$destination" || exit 1
46 echo "Getting object database"
47 download_objects "$merge_repo" "$(cat "$GIT_DIR/$destination")" || exit 1