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)
Fix a formatting error introduced in my recently landed
fe802bd21e ("push doc: correct lies about how push refspecs work",
2018-08-31).

Signed-off-by: Ævar Arnfjörð Bjarmason <avarab@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
No differences found