GNU bug report logs - #69323
[PATCH] html: Offer new download URL after transfer to Savannah.

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Felix Lechner <felix.lechner <at> lease-up.com>
Subject: bug#69323: closed (Re: [PATCH] html: Offer new download URL after
 transfer to Savannah.)
Date: Fri, 10 May 2024 22:38:02 +0000

[Message part 1 (text/plain, inline)]

Your bug report

#69323: [PATCH] html: Offer new download URL after transfer to Savannah.

which was filed against the mumi package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 69323 <at> debbugs.gnu.org.

-- 
69323: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=69323
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Arun Isaac <arunisaac <at> systemreboot.net>
To: 69323-done <at> debbugs.gnu.org
Cc: Felix Lechner <felix.lechner <at> lease-up.com>
Subject: Re: [PATCH] html: Offer new download URL after transfer to Savannah.
Date: Fri, 10 May 2024 23:37:10 +0100

Hi Felix,

I have applied and pushed this patch.

Thank you!
Arun

[Message part 3 (message/rfc822, inline)]

From: Felix Lechner <felix.lechner <at> lease-up.com>
To: bug-mumi <at> gnu.org
Cc: Felix Lechner <felix.lechner <at> lease-up.com>
Subject: [PATCH] html: Offer new download URL after transfer to Savannah.
Date: Fri, 23 Feb 2024 04:15:33 -0800

* mumi/web/view/html.scm: Offer new download URL after transfer to
Savannah.
---
 mumi/web/view/html.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mumi/web/view/html.scm b/mumi/web/view/html.scm
index d44ff6a..2599aeb 100644
--- a/mumi/web/view/html.scm
+++ b/mumi/web/view/html.scm
@@ -77,7 +77,7 @@
                       (br)
                       "Now with even more " (span (@ (class "lambda")) "λ") "! ")
                    (p "This is free software.  Download the "
-                      (a (@ (href "https://git.elephly.net/software/mumi.git"))
+                      (a (@ (href "https://git.savannah.gnu.org/cgit/guix/mumi.git"))
                          "source code here") "."))
            (script
             (@ (src "/js/sort-table.js")))))))

base-commit: ba4750f0d12fedbbc9439c31715f95d0007dce8d
-- 
2.41.0

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.