Mike Frysinger 2f0951b216 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>
2019-10-01 05:47:17 +00:00
2019-10-01 05:45:58 +00:00
2016-09-14 09:49:02 +02:00
2013-03-08 01:18:08 +00:00
2017-05-26 21:44:57 +09:00
2019-06-13 14:30:52 +00:00
2008-10-21 07:00:00 -07:00
2019-06-13 14:30:52 +00:00
2019-06-13 14:30:52 +00:00
2019-08-27 07:08:52 +00:00
2019-08-27 07:08:52 +00:00
2019-06-13 13:23:19 -04:00
2019-07-16 00:23:16 +00:00
2019-06-13 14:30:52 +00:00
2019-10-01 05:44:09 +00:00
2018-12-20 02:11:46 -05:00
2019-09-18 08:25:49 +00:00
2019-08-27 07:08:52 +00:00
2019-07-31 08:38:19 +00:00

repo

Repo is a tool built on top of Git. Repo helps manage many Git repositories, does the uploads to revision control systems, and automates parts of the development workflow. Repo is not meant to replace Git, only to make it easier to work with Git. The repo command is an executable Python script that you can put anywhere in your path.

Description
No description provided
Readme Apache-2.0 35 MiB
Languages
Python 99.1%
Shell 0.9%