Subject: bug#69331: closed (Re: Please provide links to Debbugs pages)

From: [email-masked] (GNU bug Tracking System)
Date: Mon, 24 Jun 2024 23:09:02 +0000

Your bug report

#69331: Please provide links to Debbugs pages

which was filed against the mumi package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
69331: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=69331
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: Please provide links to Debbugs pages
From: Arun Isaac <[email-masked]>
To: [email-masked]
Cc: Vincent Legoll <[email-masked]>, Arun Isaac <[email-masked]>, Felix Lechner <[email-masked]>
Date: Tue, 25 Jun 2024 00:08:38 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Vincent and Felix,

Thank you both for your inputs. I have added a Debbugs link in the
Details section[1]. This should be visible on our issues.guix.gnu.org
instance the next time we reconfigure.

If the UX of the added Debbugs link isn't satisfactory, I'm happy to
accept patches improving it.

Thanks,
Arun

[1]: https://git.savannah.gnu.org/cgit/guix/mumi.git/commit/?id=e425a156ef92fd372746443525ba9f4058e03192

Subject: Please provide links to Debbugs pages
From: Felix Lechner <[email-masked]>
To: [email-masked]
Date: Fri, 23 Feb 2024 08:36:13 -0800
List-Id: <debbugs-submit.debbugs.gnu.org>

Severity: wishlist

Hi,

Until all information from Debbugs is visible in Mumi (like the package
names) a link to the Debbugs URL in each issue would be nice. Thanks!

Kind regards
Felix