X-Git-Url: https://git.verplant.org/?a=blobdiff_plain;f=git-pull-script;h=fc463260bd9dd07e50494e7cbb39ef6833179ff3;hb=9d34c29db39bdb5c2443475dd6a24cfc5c2c9e37;hp=90ee0f322d8c569a5b02b3be1548eb990b4263c9;hpb=6b38a402e97274037982a5346ca4168cc8ee026c;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"