[PATCH] Improve the compilation-time settings interface
[git.git] / Documentation / git-pull-script.txt
1 git-pull-script(1)
2 ==================
3 v0.1, May 2005
4
5 NAME
6 ----
7 git-pull-script - Pull and merge from another repository.
8
9
10 SYNOPSIS
11 --------
12 'git-pull-script' <repository> [ <head> | tag <tag> ]
13
14
15 DESCRIPTION
16 -----------
17 Runs 'git-fetch-script' with the given parameters, then
18 'git-resolve-script' to merge the local HEAD and FETCH_HEAD.
19
20
21 OPTIONS
22 -------
23 include::pull-fetch-param.txt[]
24
25
26 Author
27 ------
28 Written by Linus Torvalds <torvalds@osdl.org> and Junio C Hamano <junkio@cox.net>
29
30 Documentation
31 --------------
32 Documentation by David Greaves, Junio C Hamano and the git-list <git@vger.kernel.org>.
33
34 GIT
35 ---
36 Part of the link:git.html[git] suite
37