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

[Michael Albinus]

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.

Best regards, Michael.