tree e7a2625a11ec28300e33e3ceeae7ddaca3665944
parent c714e45f87301562b940e3621431ed7f7fbd16e5
author Stefan Beller <sbeller@google.com> 1468532987 -0700
committer Junio C Hamano <gitster@pobox.com> 1468536641 -0700

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>