remote-curl: allow push options
commit511155db51ff9870d2b3fd74c6dfdd558b5fa37b
authorBrandon Williams <bmwill@google.com>
Wed, 22 Mar 2017 22:22:00 +0000 (22 15:22 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 22 Mar 2017 22:41:21 +0000 (22 15:41 -0700)
tree1dbb74a4ae97715557770094b54ba96032ce4b00
parenteb7b9749f2b7bc0d0e0ac2c68d98cf1b8f4a2761
remote-curl: allow push options

Teach remote-curl to understand push options and to be able to convey
them across HTTP.

Signed-off-by: Brandon Williams <bmwill@google.com>
Reviewed-by: Jonathan Nieder <jrnieder@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/git-send-pack.txt
builtin/send-pack.c
remote-curl.c
t/t5545-push-options.sh