bug#69329: [PATCH 2/2] {html, config}: Add config value for Mumi bug submissions; mention it.

[Felix Lechner]

The mailing address bug-mumi@gnu.org was not added to the 'lists'
configuration value, which appeared to be unused.

May require changes on production equipment unless the standard
configuration is being deployed.

* mumi/config.scm.in: Add config value for Mumi bug submissions.
mumi/web/view/html.scm: Mention it on the home page.
---
 mumi/config.scm.in     | 1 +
 mumi/web/view/html.scm | 5 +++++
 2 files changed, 6 insertions(+)

diff --git a/mumi/config.scm.in b/mumi/config.scm.in
index 11bc046..0d0cb3c 100644
--- a/mumi/config.scm.in
+++ b/mumi/config.scm.in
@@ -76,6 +76,7 @@
            (cache-ttl   . 120)
            (submission-patch-email-address . "guix-patches@gnu.org")
            (submission-bug-email-address . "bug-guix@gnu.org")
+           (submission-mumi-email-address . "bug-mumi@gnu.org")
            (lists       . ("guix-patches@gnu.org" "bug-guix@gnu.org"))
            (packages    . ("guix-patches" "guix" "skribilo"))
            (debbugs-domain . "debbugs.gnu.org")
diff --git a/mumi/web/view/html.scm b/mumi/web/view/html.scm
index 66c7d2a..58db863 100644
--- a/mumi/web/view/html.scm
+++ b/mumi/web/view/html.scm
@@ -265,6 +265,11 @@ simple query language.  Here is a list of supported query 
terms:")
          (a (@ (href ,(string-append "mailto:"; (%config 
'submission-bug-email-address))))
             ,(%config 'submission-bug-email-address))
          " to submit a bug report.")
+      (p (@ (class "lead"))
+         "Please send an email to "
+         (a (@ (href ,(string-append "mailto:"; (%config 
'submission-mumi-email-address))))
+            ,(%config 'submission-patch-email-address))
+         " to submit a bug report against this issue tracker.")
       ,(search-widget)
 
       (article
-- 
2.41.0