Documentation/git-push: --all, --mirror, --tags can not be combined
commitbed5122f23c3584f2bae43e1af2f41fbe939c971
authorGerrit Pape <pape@smarden.org>
Tue, 17 Feb 2009 09:25:02 +0000 (17 09:25 +0000)
committerJunio C Hamano <gitster@pobox.com>
Wed, 18 Feb 2009 18:42:33 +0000 (18 10:42 -0800)
tree933df087cdcfdd34323d56b68d6727ead6f452af
parente5887c1bda12b31ea7af0ce798bfdee308e1b176
Documentation/git-push: --all, --mirror, --tags can not be combined

While b259f09 made git-push output a better error message for 'git-push
--all --tags', this commit fixes the synopsis in the documentation.

Inconsistency spotted and fix suggested by Jari Aalto through
 http://bugs.debian.org/502567

Signed-off-by: Gerrit Pape <pape@smarden.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/git-push.txt