Stefan Beller f6a4e61fbb push: accept push options ...

This implements everything that is required on the client side to make use
of push options from the porcelain push command.

Signed-off-by: Stefan Beller <sbeller@google.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>

2016-07-14 15:50:41 -07:00

18 KiB

Raw Blame History

View Raw