7 git-pull-script - Script used by Linus to pull and merge a remote repository
16 This script is used by Linus to pull from a remote repository and perform
22 Written by Linus Torvalds <torvalds@osdl.org>
26 Documentation by David Greaves, Junio C Hamano and the git-list <git@vger.kernel.org>.
30 Part of the link:git.html[git] suite