diff options
author | Stefan Beller <sbeller@google.com> | 2016-07-14 14:49:47 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2016-07-14 15:50:41 -0700 |
commit | f6a4e61fbb647928d615a0befaec163a5d2bf4af (patch) | |
tree | e7a2625a11ec28300e33e3ceeae7ddaca3665944 /shallow.c | |
parent | c714e45f87301562b940e3621431ed7f7fbd16e5 (diff) | |
download | git-f6a4e61fbb647928d615a0befaec163a5d2bf4af.tar.gz git-f6a4e61fbb647928d615a0befaec163a5d2bf4af.tar.xz |
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>
Diffstat (limited to 'shallow.c')
0 files changed, 0 insertions, 0 deletions