diff options
| author |  Dave Borowitz <dborowitz@google.com> | 2015-08-19 11:26:43 -0400 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2015-08-19 12:41:54 -0700 |
| commit | 87c0d08b3d92c55c233c8a95294a2232a97d97eb (patch) | |
| tree | c0d371088c1f07cf15dfc6d4d2c5c8dbfca6500e /Documentation/technical | |
| parent | gitremote-helpers.txt: document pushcert option (diff) | |
| download | tgif-87c0d08b3d92c55c233c8a95294a2232a97d97eb.tar.xz | |
transport: remove git_transport_options.push_cert
This field was set in transport_set_option, but never read in the push
code. The push code basically ignores the smart_options field
entirely, and derives its options from the flags arguments to the
push* callbacks. Note that in git_transport_push there are already
several args set from flags that have no corresponding field in
git_transport_options; after this change, push_cert is just like
those.
Signed-off-by: Dave Borowitz <dborowitz@google.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/technical')
0 files changed, 0 insertions, 0 deletions