remote-curl: allow push options
authorBrandon Williams <redacted>
Wed, 22 Mar 2017 22:22:00 +0000 (15:22 -0700)
committerJunio C Hamano <redacted>
Wed, 22 Mar 2017 22:41:21 +0000 (15:41 -0700)
commit511155db51ff9870d2b3fd74c6dfdd558b5fa37b
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 <redacted>
Reviewed-by: Jonathan Nieder <redacted>
Signed-off-by: Junio C Hamano <redacted>
Documentation/git-send-pack.txt
builtin/send-pack.c
remote-curl.c
t/t5545-push-options.sh
git clone https://git.99rst.org/PROJECT