diff options
author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2016-05-10 09:08:56 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2016-05-10 12:56:28 -0700 |
commit | 0bbe731714e0042888eb99a8ff3f4cdf245ffce6 (patch) | |
tree | 50351999986a07b9c000898affab1d80809a12ba /mergetools | |
parent | Merge branch 'jk/submodule-c-credential' into js/http-custom-headers (diff) | |
download | tgif-0bbe731714e0042888eb99a8ff3f4cdf245ffce6.tar.xz |
submodule: ensure that -c http.extraheader is heeded
To support this developer's use case of allowing build agents token-based
access to private repositories, we introduced the http.extraheader
feature, allowing extra HTTP headers to be sent along with every HTTP
request.
This patch verifies that we can configure these extra HTTP headers via the
command-line for use with `git submodule update`, too. Example: git -c
http.extraheader="Secret: Sauce" submodule update --init
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'mergetools')
0 files changed, 0 insertions, 0 deletions