tree 054a9fe53044421e32c74f9bf7e203624093af47
parent 3459239dfc224a5164a07f2afe3ec406a357937b
author James Wynn <james@jameswynn.com> 1598905933 -0500
committer Matthias Sohn <matthias.sohn@sap.com> 1601156558 +0200

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>