Andrew's git / gitweb.git / diff
?
remote-curl: allow push options
authorBrandon Williams <bmwill@google.com>
Wed, 22 Mar 2017 22:22:00 +0000 (15:22 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 22 Mar 2017 22:41:21 +0000 (15:41 -0700)
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>
No differences found