]> source.dussan.org Git - jgit.git/commit
projects / jgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b0b3250) | patch
Override config http.userAgent from environment GIT_HTTP_USER_AGENT 19/170319/2
authorThomas Wolf <thomas.wolf@paranor.ch>
Mon, 5 Oct 2020 10:32:38 +0000 (12:32 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Tue, 6 Oct 2020 23:03:36 +0000 (19:03 -0400)
commitf37aa182e14179479daf8a3a2a8240cd51912af1
tree0c5ad12998b1aa6ac1c6c71a9cefc675c67f2da4tree | snapshot
parentb0b32501978c00018c3a046a09e474a1d783275acommit | diff
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>
org.eclipse.jgit.test/tst/org/eclipse/jgit/transport/HttpConfigTest.java diff | blob | history
org.eclipse.jgit/src/org/eclipse/jgit/transport/HttpConfig.java diff | blob | history
JGit, the Java implementation of git: https://github.com/eclipse-jgit/jgit