push options: pass push options to the transport helper
authorStefan Beller <sbeller@google.com>
Wed, 8 Feb 2017 22:04:00 +0000 (14:04 -0800)
committerJunio C Hamano <gitster@pobox.com>
Wed, 8 Feb 2017 23:45:01 +0000 (15:45 -0800)
commit438fc68...62d5839ef6ca231cdcb411105eaf0ba2
treea3cb662...e7da46a4888232c2a789af6954cbf95dcopy hash to clipboard (tree)
parent6e3a7b3...98559305c7a239a42e447c21a8f39ff8copy hash to clipboard (diff)
Documentation/gitremote-helpers.txt
t/t5545-push-options.sh
transport-helper.c