tree da7fd2edfea0f8d4f1465bcc9a2901a80847f85c
parent 0bc8d71b99e91c9e90b519073b639a5066119591
author Ævar Arnfjörð Bjarmason <avarab@gmail.com> 1537249658 +0000
committer Junio C Hamano <gitster@pobox.com> 1537386230 -0700

push doc: add spacing between two words

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>