git-push: fix --tags and document it.
authorJunio C Hamano <junkio@cox.net>
Mon, 16 Jan 2006 07:27:34 +0000 (23:27 -0800)
committerJunio C Hamano <junkio@cox.net>
Mon, 16 Jan 2006 07:59:12 +0000 (23:59 -0800)
commit42301e34a2736b091738d4ca6a23fd90bd1f1837
tree6ac2b20f996afda0055f2d7d43fb4f47b8ee0361
parentfec9ebf16c948bcb4a8b88d0173ee63584bcde76
git-push: fix --tags and document it.

Previously 'git-push --tags dst', used information from
remotes/dst to determine which refs to push; this patch corrects
it, and also documents the --tags option.

Signed-off-by: Junio C Hamano <junkio@cox.net>
Documentation/git-push.txt
git-push.sh