git-push.txt: clean up force-with-lease wording
commitfddfaf8a229710c50aeaacf6e40429965348493e
authorPhil Hord <hordp@cisco.com>
Thu, 26 Mar 2015 15:15:09 +0000 (26 11:15 -0400)
committerJunio C Hamano <gitster@pobox.com>
Thu, 26 Mar 2015 18:41:24 +0000 (26 11:41 -0700)
tree313ff6ba1c8f33a4b05a4125dcf9f4bf6f861960
parent282616c72d1d08a77ca4fe1186cb708c38408d87
git-push.txt: clean up force-with-lease wording

The help text for the --force-with-lease option to git-push
does not parse cleanly.  Clean up the wording and syntax to
be more sensible.  Also remove redundant information in the
"--force-with-lease alone" description.

Signed-off-by: Phil Hord <hordp@cisco.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/git-push.txt