Documentation/git-push.txt: minor: compress one option
authorjidanni@jidanni.org <redacted>
Mon, 12 Jan 2009 03:05:54 +0000 (11:05 +0800)
committerJunio C Hamano <redacted>
Mon, 12 Jan 2009 05:47:26 +0000 (21:47 -0800)
commit4fc988efe66ea079c926b1f01bf563a946b7797f
treecacb0ce326a992c5195dfd777ad7171687a3e9e0
parent152d70f7287c54135aa93990b462e2d34a39f500
Documentation/git-push.txt: minor: compress one option

Signed-off-by: jidanni <redacted>
Signed-off-by: Junio C Hamano <redacted>
Documentation/git-push.txt
git clone https://git.99rst.org/PROJECT