X-Git-Url: https://git.octo.it/?a=blobdiff_plain;f=git-pull-script;h=dbef56c70b7e40c69517c3ede33544d0e9efcc8a;hb=d565b3412a0242e2c729bd77d18c74ecd57184dc;hp=49f42b5ab2896356952aee9eb2b771f422011f02;hpb=c5434dead6a52a48c520dfa3d8ed24dc3673ab1a;p=git.git diff --git a/git-pull-script b/git-pull-script index 49f42b5a..dbef56c7 100755 --- a/git-pull-script +++ b/git-pull-script @@ -6,16 +6,14 @@ merge_name=$(echo "$1" | sed 's:\.git/*$::') merge_head=HEAD if [ "$2" ] then - merge_name="'$2' branch from - - $merge_name" + 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" +git-fetch-script "$merge_repo" "$merge_head" || exit 1 git-resolve-script \ "$(cat "$GIT_DIR"/HEAD)" \