From fb46c1cedab5d00e6afac46bfa514094d5c9e13f Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus Date: Tue, 7 Nov 2023 12:01:16 +0100 Subject: [PATCH] doc: Update URL of Mumi git repository. * doc/contributing.texi (Debbugs User Interfaces): Use new repository URL. Change-Id: Ieccf34be8a103740607d8c115120902dc687d4e7 --- doc/contributing.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/contributing.texi b/doc/contributing.texi index f18dc0a513b3c502c7b0e4829ee46aaee3fdbe61..ad8d9d1120cfd94b614c8f35b89a793f4a74f692 100644 --- a/doc/contributing.texi +++ b/doc/contributing.texi @@ -1862,7 +1862,7 @@ browse issues: interface@footnote{The web interface at @url{https://issues.guix.gnu.org} is powered by Mumi, a nice piece of software written in Guile, and you can help! See -@url{https://git.elephly.net/gitweb.cgi?p=software/mumi.git}.} to browse +@url{https://git.savannah.gnu.org/cgit/guix/mumi.git}.} to browse bug reports and patches, and to participate in discussions; @item @url{https://bugs.gnu.org/guix} lists bug reports;