From fb46c1cedab5d00e6afac46bfa514094d5c9e13f Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus Date: Tue, 7 Nov 2023 12:01:16 +0100 Subject: 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(-) (limited to 'doc') diff --git a/doc/contributing.texi b/doc/contributing.texi index f18dc0a513..ad8d9d1120 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; -- cgit v1.2.3