push doc: add spacing between two words
authorÆvar Arnfjörð Bjarmason <avarab@gmail.com>
Tue, 18 Sep 2018 05:47:38 +0000 (05:47 +0000)
committerJunio C Hamano <gitster@pobox.com>
Wed, 19 Sep 2018 19:43:50 +0000 (12:43 -0700)
commitf4ec16a...0c588ccdf10fbb9edb862dcb32b90c9b
treeda7fd2e...fea0f8d4f1465bcc9a2901a80847f85ccopy hash to clipboard (tree)
parent0bc8d71...99e91c9e90b519073b639a5066119591copy hash to clipboard (diff)
Documentation/git-push.txt