|
Oops! Here's V2.
On 2017-11-17 20:28, Mark H Weaver wrote:
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"))
|
0001-gnu-wget2-Switch-to-official-URL-v2.patch