Copyright Digital Equipment Corp. All rights reserved.

PULL

	Incorporates changes from a remote repository into the current branch.
	If the current branch is behind the remote, then by default it will
	fast-forward the current branch to match the remote. If the current
	branch and the remote have diverged, the user needs to specify how to
	reconcile the divergent branches with --rebase or --no-rebase
	(or the corresponding configuration option in pull.rebase)

	Command Syntax:

		git pull [<options>] [<repository> [<refspec>…​]]