1
0
mirror of https://github.com/git/git.git synced 2024-10-05 15:01:39 +02:00
git/Documentation/git-pull-script.txt
Junio C Hamano 0c04094bc1 [PATCH] Documentation: describe short-hand used in fetch/pull.
Describe short-hand for remote repository used in fetch/pull.

Signed-off-by: Junio C Hamano <junkio@cox.net>
Signed-off-by: Linus Torvalds <torvalds@osdl.org>
2005-07-16 09:23:06 -07:00

38 lines
651 B
Plaintext

git-pull-script(1)
==================
v0.1, May 2005
NAME
----
git-pull-script - Pull and merge from another repository.
SYNOPSIS
--------
'git-pull-script' <repository> [ <head> | tag <tag> ]
DESCRIPTION
-----------
Runs 'git-fetch-script' with the given parameters, then
'git-resolve-script' to merge the local HEAD and FETCH_HEAD.
OPTIONS
-------
include::pull-fetch-param.txt[]
Author
------
Written by Linus Torvalds <torvalds@osdl.org> and Junio C Hamano <junkio@cox.net>
Documentation
--------------
Documentation by David Greaves, Junio C Hamano and the git-list <git@vger.kernel.org>.
GIT
---
Part of the link:git.html[git] suite