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 /templates/.gitignore | |
| parent | receive-pack: implement advertising and receiving push options (diff) | |
| download | tgif-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 'templates/.gitignore')
0 files changed, 0 insertions, 0 deletions