[Integrated] RFR: cli: add git-proxy tool

[Erik Helin]

On Thu, 16 Apr 2020 11:57:39 GMT, Erik Helin <ehelin at openjdk.org> wrote:

> Hi all,
> 
> please review this patch that adds a small new tool: `git-proxy`. `git-proxy`
> can be used to set up the `HTTPS_PROXY` and `HTTP_PROXY` environment
> variables based on either the `http.proxy` configuration setting or the `-c
> http.proxy=` argument. Finally `git-proxy` will also set up the
> `GIT_SSH_COMMAND` environment variable to use the `CONNECT` method for tunneling
> SSH over an HTTP proxy.
> 
> Testing:
> - manual testing of `git-proxy`
> - `make test` passes on Linux x64
> 
> Thanks,
> Erik

This pull request has now been integrated.

Changeset: 87aeddea
Author:    Erik Helin <ehelin at openjdk.org>
URL:       https://git.openjdk.java.net/skara/commit/87aeddea
Stats:     158 lines in 3 files changed: 0 ins; 157 del; 1 mod

cli: add git-proxy tool

Reviewed-by: rwestberg

-------------

PR: https://git.openjdk.java.net/skara/pull/585