summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2023-11-07 12:01:16 +0100
committerRicardo Wurmus <rekado@elephly.net>2023-11-07 12:02:19 +0100
commitfb46c1cedab5d00e6afac46bfa514094d5c9e13f (patch)
tree91147534c78443ddd52486197b045513fda0bc25
parent3f83dc5587573f173b1f61864c9b510f05de84b1 (diff)
doc: Update URL of Mumi git repository.
* doc/contributing.texi (Debbugs User Interfaces): Use new repository URL. Change-Id: Ieccf34be8a103740607d8c115120902dc687d4e7
-rw-r--r--doc/contributing.texi2
1 files changed, 1 insertions, 1 deletions
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;