7 git-pull-script - Pull and merge from another repository.
12 'git-pull-script' <repository> [ <head> | tag <tag> ]
17 Runs 'git-fetch-script' with the given parameters, then
18 'git-resolve-script' to merge the local HEAD and FETCH_HEAD.
23 include::pull-fetch-param.txt[]
28 Written by Linus Torvalds <torvalds@osdl.org>
29 and Junio C Hamano <junkio@cox.net>
33 Documentation by David Greaves, Junio C Hamano and the git-list <git@vger.kernel.org>.
37 Part of the link:git.html[git] suite