]> granicus.if.org Git - git/commit
projects / git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c714e45) | patch
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
treee7a2625a11ec28300e33e3ceeae7ddaca3665944tree | snapshot
parentc714e45f87301562b940e3621431ed7f7fbd16e5commit | diff
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 diff | blob | history
builtin/push.c diff | blob | history
send-pack.c diff | blob | history
send-pack.h diff | blob | history
transport.c diff | blob | history
transport.h diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.