diff options
| author | James Wynn <james@jameswynn.com> | 2020-08-31 15:32:13 -0500 |
|---|---|---|
| committer | Matthias Sohn <matthias.sohn@sap.com> | 2020-09-26 23:42:38 +0200 |
| commit | 2171f868d95f110024e90de635627f14a3fb4700 (patch) | |
| tree | 054a9fe53044421e32c74f9bf7e203624093af47 /pom.xml | |
| parent | 3459239dfc224a5164a07f2afe3ec406a357937b (diff) | |
| download | jgit-2171f868d95f110024e90de635627f14a3fb4700.tar.gz jgit-2171f868d95f110024e90de635627f14a3fb4700.zip | |
Support "http.userAgent" and "http.extraHeader" from the git config
Validate the extra headers and log but otherwise ignore invalid
headers. An empty http.extraHeader starts the list afresh.
The http.userAgent is restricted to printable 7-bit ASCII, other
characters are replaced by '.'.
Moves a support method from the ssh.apache bundle to HttpSupport in
the main JGit bundle.
Bug:541500
Change-Id: Id2d8df12914e2cdbd936ff00dc824d8f871bd580
Signed-off-by: James Wynn <james@jameswynn.com>
Signed-off-by: Thomas Wolf <thomas.wolf@paranor.ch>
Diffstat (limited to 'pom.xml')
0 files changed, 0 insertions, 0 deletions