diff options
| author | Junio C Hamano <junkio@cox.net> | 2005-10-20 08:25:39 +0400 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2005-10-20 08:25:39 +0400 |
| commit | d6a73596e766b934e25182e7cdd8e6c2dbcc671e (patch) | |
| tree | 3567e782e882798d9593686b4bbf13670b88e464 /Documentation/git-pull.txt | |
| parent | 4dab94d52e25b6a53a715613ec5b06b42b240106 (diff) | |
git-fetch/push/pull: documentation.
The documentation was lazily sharing the argument description across these
commands.
Lazy may be a way of life, but that does not justify confusing others ;-).
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'Documentation/git-pull.txt')
| -rw-r--r-- | Documentation/git-pull.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Documentation/git-pull.txt b/Documentation/git-pull.txt index 952779292b..bae05dee99 100644 --- a/Documentation/git-pull.txt +++ b/Documentation/git-pull.txt @@ -24,6 +24,10 @@ OPTIONS ------- include::pull-fetch-param.txt[] +-a, \--append:: + Append ref names and object names of fetched refs to the + existing contents of $GIT_DIR/FETCH_HEAD. Without this + option old data in $GIT_DIR/FETCH_HEAD will be overwritten. Author ------ |