push: accept push options
authorStefan Beller <sbeller@google.com>
Thu, 14 Jul 2016 21:49:47 +0000 (14:49 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 14 Jul 2016 22:50:41 +0000 (15:50 -0700)
commitf6a4e61fbb647928d615a0befaec163a5d2bf4af
treee7a2625a11ec28300e33e3ceeae7ddaca3665944
parentc714e45f87301562b940e3621431ed7f7fbd16e5
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>
Documentation/git-push.txt
builtin/push.c
send-pack.c
send-pack.h
transport.c
transport.h