user-agent: also set GIT_HTTP_USER_AGENT when requested
commit72bb4861f18c4d7e45c1df02aea2acfdfaac8186
authorKyle J. McKay <mackyle@gmail.com>
Sun, 1 Feb 2015 21:36:52 +0000 (1 13:36 -0800)
committerKyle J. McKay <mackyle@gmail.com>
Sun, 1 Feb 2015 21:36:52 +0000 (1 13:36 -0800)
treea4707634a0d5bd4e6b5c09fffdc058382888e337
parent97cc3389ba8b6e1212de6812719a3e9dbc95cab4
user-agent: also set GIT_HTTP_USER_AGENT when requested

The GIT_USER_AGENT environment variable is only supported by Git
versions 1.7.12 and later.  However, the GIT_HTTP_USER_AGENT environment
variable is supported by Git versions 1.7.3 and later, so always set
GIT_HTTP_USER_AGENT to the same value GIT_USER_AGENT is set to in order
to support older Git versions.
Girocco/Config.pm
bin/git-daemon-verify
bin/git-http-backend-verify
bin/git-shell-verify
shlib.sh