doc: Update link to Mumi repository.

* doc/guix.texi (Web Services): Update URL of Mumi git repository.

Reported-by: Attila Lendvai <attila@lendvai.name>
This commit is contained in:
Ricardo Wurmus 2023-08-30 18:13:32 +02:00
parent b74bdf490e
commit d72c3fcf2d
No known key found for this signature in database
GPG key ID: 197A5888235FACAC

View file

@ -31335,7 +31335,7 @@ The port on which to connect to the database.
@cindex Mumi, Debbugs Web interface
@cindex Debbugs, Mumi Web interface
@uref{https://git.elephly.net/gitweb.cgi?p=software/mumi.git, Mumi} is a
@uref{https://git.savannah.gnu.org/cgit/guix/mumi.git/, Mumi} is a
Web interface to the Debbugs bug tracker, by default for
@uref{https://bugs.gnu.org, the GNU instance}. Mumi is a Web server,
but it also fetches and indexes mail retrieved from Debbugs.