diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2023-11-07 12:01:16 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2023-11-07 12:02:19 +0100 |
| commit | fb46c1cedab5d00e6afac46bfa514094d5c9e13f (patch) | |
| tree | 91147534c78443ddd52486197b045513fda0bc25 | |
| parent | 3f83dc5587573f173b1f61864c9b510f05de84b1 (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.texi | 2 |
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; |