branch master updated: doc: Update URL of Mumi git repository.

[guix-commits]

This is an automated email from the git hooks/post-receive script.

rekado pushed a commit to branch master
in repository guix.

The following commit(s) were added to refs/heads/master by this push:
     new fb46c1ceda doc: Update URL of Mumi git repository.
fb46c1ceda is described below

commit fb46c1cedab5d00e6afac46bfa514094d5c9e13f
Author: Ricardo Wurmus <rekado@elephly.net>
AuthorDate: Tue Nov 7 12:01:16 2023 +0100

    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 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;