diff options
author | Jens Lehmann <Jens.Lehmann@web.de> | 2010-11-03 23:55:48 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2010-11-04 01:20:33 +0300 |
commit | 2e5955f328a0787c08c69ffb584e8021bb5be818 (patch) | |
tree | 32d40c7c624443bba0b9e72b35b41607f1b1156c /Documentation | |
parent | c3fced64981e3d2700d83c0a6661ac347df5121e (diff) |
pull: Remove --tags option from manpage
"Fetch all tags and merge them" does not make any sense as a request at
the logical level, even though it might be more convenient to type.
Signed-off-by: Jens Lehmann <Jens.Lehmann@web.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation')
-rw-r--r-- | Documentation/fetch-options.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Documentation/fetch-options.txt b/Documentation/fetch-options.txt index 470ac31396..5ce1e72745 100644 --- a/Documentation/fetch-options.txt +++ b/Documentation/fetch-options.txt @@ -53,6 +53,7 @@ endif::git-pull[] behavior for a remote may be specified with the remote.<name>.tagopt setting. See linkgit:git-config[1]. +ifndef::git-pull[] -t:: --tags:: Most of the tags are fetched automatically as branch @@ -63,6 +64,7 @@ endif::git-pull[] downloaded. The default behavior for a remote may be specified with the remote.<name>.tagopt setting. See linkgit:git-config[1]. +endif::git-pull[] -u:: --update-head-ok:: |