pull: Remove --tags option from manpage
commit2e5955f328a0787c08c69ffb584e8021bb5be818
authorJens Lehmann <Jens.Lehmann@web.de>
Wed, 3 Nov 2010 20:55:48 +0000 (3 21:55 +0100)
committerJunio C Hamano <gitster@pobox.com>
Wed, 3 Nov 2010 22:20:33 +0000 (3 15:20 -0700)
tree32d40c7c624443bba0b9e72b35b41607f1b1156c
parentc3fced64981e3d2700d83c0a6661ac347df5121e
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>
Documentation/fetch-options.txt