push doc: remove confusing mention of remote merger
authorÆvar Arnfjörð Bjarmason <avarab@gmail.com>
Fri, 31 Aug 2018 20:10:00 +0000 (20:10 +0000)
committerJunio C Hamano <gitster@pobox.com>
Fri, 31 Aug 2018 21:04:06 +0000 (14:04 -0700)
commitd931455...cf1cf1a21a4f10fd99fc2bd9bbefa7a9
tree2a32321...edf73d1f45555ab5279ba8a76433544ccopy hash to clipboard (tree)
parent6b0b067...f6d92932bacd73981a47724b543dfd90copy hash to clipboard (diff)
Documentation/git-push.txt