GNU bug report logs - #69329
[PATCH] Add pointer to bug-mumi@ on home page

Previous Next

Package: mumi;

Reported by: Felix Lechner <felix.lechner <at> lease-up.com>

Date: Fri, 23 Feb 2024 14:52:02 UTC

Severity: normal

Tags: patch

Done: Arun Isaac <arunisaac <at> systemreboot.net>

Bug is archived. No further changes may be made.

Full log


View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Arun Isaac <arunisaac <at> systemreboot.net>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#69329: closed ([PATCH] Add pointer to bug-mumi@ on home page)
Date: Fri, 14 Mar 2025 15:04:02 +0000
[Message part 1 (text/plain, inline)]
Your message dated Fri, 14 Mar 2025 15:02:47 +0000
with message-id <878qp7mz8o.fsf <at> systemreboot.net>
and subject line Re: [PATCH] Add pointer to bug-mumi@ on home page
has caused the debbugs.gnu.org bug report #69329,
regarding [PATCH] Add pointer to bug-mumi@ on home page
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
69329: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=69329
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems
[Message part 2 (message/rfc822, inline)]
From: Felix Lechner <felix.lechner <at> lease-up.com>
To: bug-mumi <at> gnu.org
Cc: Felix Lechner <felix.lechner <at> lease-up.com>
Subject: [PATCH] Add pointer to bug-mumi@ on home page
Date: Fri, 23 Feb 2024 06:09:07 -0800
Hi,

Should we mention bug-guix <at> gnu.org on Mumi's home page?

Kind regards
Felix

Felix Lechner (2):
  {html, config}: Change variable name for Guix patch submissions.
  {html, config}: Add config value for Mumi bug submissions; mention it.

 mumi/config.scm.in     | 3 ++-
 mumi/web/view/html.scm | 9 +++++++--
 2 files changed, 9 insertions(+), 3 deletions(-)


base-commit: ba4750f0d12fedbbc9439c31715f95d0007dce8d
prerequisite-patch-id: 02d62b766b53f1c6bc87549c32c0bc4c3a738f73
-- 
2.41.0



[Message part 3 (message/rfc822, inline)]
From: Arun Isaac <arunisaac <at> systemreboot.net>
To: 69329-done <at> debbugs.gnu.org
Cc: Felix Lechner <felix.lechner <at> lease-up.com>
Subject: Re: [PATCH] Add pointer to bug-mumi@ on home page
Date: Fri, 14 Mar 2025 15:02:47 +0000
Hi Felix,

Thanks for the patches!

I applied and pushed the second patch after modifying it to include the
message in the footer.
https://git.savannah.gnu.org/cgit/guix/mumi.git/commit/?id=4b2cf90d4f41a57b4f094395e278c5db3bef3a35

I have not applied the first patch. I would like mumi to be a bug
tracker that can support multiple packages (guix, mumi and skribilo at
the moment on issues.guix.gnu.org). So, we need to try and generalize
somehow.

Regards,
Arun


This bug report was last modified 96 days ago.

Previous Next


GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.