Re: 05/06: gnu: wget: Add wget2.

[Mark H Weaver]

Hi,

Rutger Helling <address@hidden> writes:
> I wrote a small patch that switches to the official mirror.

Your patch changes the source URI, but not the home-page.  Would you
like to update your patch to change the home-page too?

      Mark


> From 18d5e35e56f4c34ad0e55cee18eef86b8ea2d5f9 Mon Sep 17 00:00:00 2001
> From: Rutger Helling <address@hidden>
> Date: Fri, 17 Nov 2017 08:29:10 +0100
> Subject: [PATCH] gnu: wget2: Switch to official URL.
>
> * gnu/packages/wget.scm (wget2): Switch to official URL.
> ---
>  gnu/packages/wget.scm | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/gnu/packages/wget.scm b/gnu/packages/wget.scm
> index a4862d515..bc3b3ad5d 100644
> --- a/gnu/packages/wget.scm
> +++ b/gnu/packages/wget.scm
> @@ -130,7 +130,7 @@ online pastebin services.")
>      (origin
>       (method git-fetch)
>       (uri (git-reference
> -           (url "https://github.com/rockdaboot/wget2";)
> +           (url "https://gitlab.com/gnuwget/wget2.git";)
>             (commit "b45709d3d21714135ce79df6abbdcb704684063d")
>             (recursive? #t))) ;; Needed for 'gnulib' git submodule.
>       (file-name (string-append name "-" version "-checkout"))