git-pull-script - Script used by Linus to pull and merge a remote repository
git-pull-script
This script is used by Linus to pull from a remote repository and perform a merge.
Written by Linus Torvalds <torvalds@osdl.org>
Documentation by David Greaves, Junio C Hamano and the git-list <git@vger.kernel.org>.
Part of the git(7) suite