bug-wget
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Bug-wget] [PATCH v3] gnulib: use https:// instead of git://


From: Luiz Angelo Daros de Luca
Subject: Re: [Bug-wget] [PATCH v3] gnulib: use https:// instead of git://
Date: Thu, 25 Oct 2018 18:06:42 -0300

Sorry, v3 tag is wrong for both patches. This is the first version.

Regards,

Em qui, 25 de out de 2018 às 17:39, <address@hidden> escreveu:

> From: Luiz Angelo Daros de Luca <address@hidden>
>
> git:// does not work over http proxy
>
> Signed-off-by: Luiz Angelo Daros de Luca <address@hidden>
> ---
>  .gitmodules | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/.gitmodules b/.gitmodules
> index acb26693..546e03fa 100644
> --- a/.gitmodules
> +++ b/.gitmodules
> @@ -1,3 +1,3 @@
>  [submodule "gnulib"]
>         path = gnulib
> -       url = git://git.sv.gnu.org/gnulib.git
> +       url = https://git.savannah.gnu.org/git/gnulib.git
> --
> 2.19.0
>
> --

Luiz Angelo Daros de Luca
address@hidden


reply via email to

[Prev in Thread] Current Thread [Next in Thread]