1
0
mirror of https://github.com/git/git.git synced 2024-11-18 15:03:53 +01:00
git/git-pull-script

13 lines
250 B
Plaintext
Raw Normal View History

#!/bin/sh
#
. git-sh-setup-script || die "Not a git archive"
. git-parse-remote "$@"
merge_name="$_remote_name"
git-fetch-script "$@" || exit 1
git-resolve-script \
"$(cat "$GIT_DIR"/HEAD)" \
"$(cat "$GIT_DIR"/FETCH_HEAD)" \
"Merge $merge_name"