| #!/bin/sh | |
| # | |
| merge_repo=$1 | |
| merge_name=${2:-HEAD} | |
| : ${GIT_DIR=.git} | |
| : ${GIT_OBJECT_DIRECTORY="${SHA1_FILE_DIRECTORY-"$GIT_DIR/objects"}"} | |
| download_one () { | |
| # remote_path="$1" local_file="$2" | |
| case "$1" in | |
| http://*) | |
| wget -q -O "$2" "$1" ;; | |
| /*) | |
| test -f "$1" && cat >"$2" "$1" ;; | |
| *) | |
| rsync -L "$1" "$2" ;; | |
| esac | |
| } | |
| download_objects () { | |
| # remote_repo="$1" head_sha1="$2" | |
| case "$1" in | |
| http://*) | |
| git-http-pull -a "$2" "$1/" | |
| ;; | |
| /*) | |
| git-local-pull -l -a "$2" "$1/" | |
| ;; | |
| *) | |
| rsync -avz --ignore-existing \ | |
| "$1/objects/." "$GIT_OBJECT_DIRECTORY"/. | |
| ;; | |
| esac | |
| } | |
| echo "Getting remote $merge_name" | |
| download_one "$merge_repo/$merge_name" "$GIT_DIR"/MERGE_HEAD | |
| echo "Getting object database" | |
| download_objects "$merge_repo" "$(cat "$GIT_DIR"/MERGE_HEAD)" |