tree 0c5ad12998b1aa6ac1c6c71a9cefc675c67f2da4
parent b0b32501978c00018c3a046a09e474a1d783275a
author Thomas Wolf <thomas.wolf@paranor.ch> 1601893958 +0200
committer Matthias Sohn <matthias.sohn@sap.com> 1602025416 -0400

Override config http.userAgent from environment GIT_HTTP_USER_AGENT

According to [1], environment variable GIT_HTTP_USER_AGENT can
override a git config http.userAgent.

[1] https://git-scm.com/docs/git-config#Documentation/git-config.txt-httpuserAgent

Change-Id: I996789dc49faf96339cd7b4e0a682b9bcafb6f70
Signed-off-by: Thomas Wolf <thomas.wolf@paranor.ch>