diff options
author | Mike Frysinger <vapier@google.com> | 2019-07-10 17:13:46 -0400 |
---|---|---|
committer | Mike Frysinger <vapier@google.com> | 2019-10-01 05:47:17 +0000 |
commit | 2f0951b216489ecbd0a28935ca589fb0067a8381 (patch) | |
tree | 8554a4538647a69d7a1a47d243d8a9c1a090f833 /subcmds/info.py | |
parent | 72ab852ca503d1c8e32e493edc3fa3e1157e930b (diff) | |
download | git-repo-2f0951b216489ecbd0a28935ca589fb0067a8381.tar.gz |
git_command: set GIT_HTTP_USER_AGENT on all requests
We've been setting the User-Agent header when making connections
from repo itself, but not when running git (as the latter will set
up User-Agent itself). Our Gerrit/Git admins say it'll be helpful
if we pass through the repo version settings even when running git.
We currently set GIT_HTTP_USER_AGENT and not GIT_USER_AGENT as it's
unclear if the extended form works over all protocols. We can wait
for a user request.
Bug: https://crbug.com/gerrit/11144
Change-Id: I21d293f49534058dbc23225152451df26c5b7bef
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/239233
Tested-by: Mike Frysinger <vapier@google.com>
Reviewed-by: David Pursehouse <dpursehouse@collab.net>
Diffstat (limited to 'subcmds/info.py')
0 files changed, 0 insertions, 0 deletions