| commit | 2f0951b216489ecbd0a28935ca589fb0067a8381 | [log] [tgz] |
|---|---|---|
| author | Mike Frysinger <vapier@google.com> | Wed Jul 10 17:13:46 2019 -0400 |
| committer | Mike Frysinger <vapier@google.com> | Tue Oct 01 05:47:17 2019 +0000 |
| tree | 8554a4538647a69d7a1a47d243d8a9c1a090f833 | |
| parent | 72ab852ca503d1c8e32e493edc3fa3e1157e930b [diff] |
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>
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.