mirror of
https://github.com/git/git.git
synced 2026-01-30 20:38:27 +00:00
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>
5.0 KiB
5.0 KiB