X-Git-Url: https://git.verplant.org/?a=blobdiff_plain;f=git-pull-script;h=fc463260bd9dd07e50494e7cbb39ef6833179ff3;hb=c7c81b3a51de2778535c8bb18d42a4bb7dfd57bc;hp=90ee0f322d8c569a5b02b3be1548eb990b4263c9;hpb=85c1f337be49eaa9a22e42a1c9958deef5ab57c3;p=git.git diff --git a/git-pull-script b/git-pull-script index 90ee0f32..fc463260 100755 --- a/git-pull-script +++ b/git-pull-script @@ -1,21 +1,12 @@ #!/bin/sh # -merge_repo=$1 +. git-sh-setup-script || die "Not a git archive" +. git-parse-remote "$@" +merge_name="$_remote_name" -merge_name=$(echo "$1" | sed 's:\.git/*$::') -merge_head=HEAD -if [ "$2" ] -then - merge_name="'$2' branch of $merge_name" - merge_head="refs/heads/$2" -fi - -: ${GIT_DIR=.git} -: ${GIT_OBJECT_DIRECTORY="${SHA1_FILE_DIRECTORY-"$GIT_DIR/objects"}"} - -git-fetch-script "$merge_repo" "$merge_head" || exit 1 +git-fetch-script "$@" || exit 1 git-resolve-script \ "$(cat "$GIT_DIR"/HEAD)" \ "$(cat "$GIT_DIR"/FETCH_HEAD)" \ - "$merge_name" + "Merge $merge_name"