Re: master 0910230be6e: ; Prefer HTTPS to HTTP in more links

[Andreas Schwab]

On Aug 03 2023, Michael Albinus wrote:

> Yuri Khan <yuri.v.khan@gmail.com> writes:
>
> Hi Yuri,
>
>>> > @example
>>> > @group
>>> > -$ git config --global http.proxy http://user:pwd@@proxy.server.com:8080
>>> > +$ git config --global http.proxy https://user:pwd@@proxy.server.com:8080
>>> > $ git clone https://git.savannah.gnu.org/r/tramp.git
>>> > @end group
>>> > @end example
>>
>> This looks suspicious, too. A proxy running on port 8080 and referred
>> to in a git http.proxy config variable is likely to be an http proxy.
>
> The git http.proxy config variable is good for both http_proxy and
> https_proxy environment variables. And I wouldn't care too much about
> the 8080 port; it's just an example.

But a proxy certainly won't support both encrypted and unencrypted
accesses over the same port (this is independent of the protocol of the
proxied URL).

-- 
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510  2552 DF73 E780 A9DA AEC1
"And now for something completely different."