Subject: bug#69323: closed (Re: [PATCH] html: Offer new download URL after transfer to Savannah.)

From: [email-masked] (GNU bug Tracking System)
Date: Fri, 10 May 2024 22:38:02 +0000

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 [email-masked].

-- 
69323: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=69323
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: [PATCH] html: Offer new download URL after transfer to Savannah.
From: Arun Isaac <[email-masked]>
To: [email-masked]
Cc: Felix Lechner <[email-masked]>
Date: Fri, 10 May 2024 23:37:10 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Felix,

I have applied and pushed this patch.

Thank you!
Arun

Subject: [PATCH] html: Offer new download URL after transfer to Savannah.
From: Felix Lechner <[email-masked]>
To: [email-masked]
Cc: Felix Lechner <[email-masked]>
Date: Fri, 23 Feb 2024 04:15:33 -0800
List-Id: <debbugs-submit.debbugs.gnu.org>

* 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