GNU bug report logs - #72047
Filter for issues with(out) patch

Previous Next

To reply to this bug, email your comments to 72047 AT debbugs.gnu.org.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Vincent Legoll <vincent.legoll <at> gmail.com>
To: Bug Guix <bug-guix <at> gnu.org>
Subject: Filter for issues with(out) patch
Date: Wed, 10 Jul 2024 20:33:11 +0000

[Message part 1 (text/plain, inline)]

It looks like there's no filter for issues that have (or lack) patches in
any message.

I think that would be useful to have in mumi.

-- 
Vincent Legoll

[Message part 2 (text/html, inline)]

Message #8 received at 72047 <at> debbugs.gnu.org (full text, mbox):

From: jgart <jgart <at> dismail.de>
To: 72047 <at> debbugs.gnu.org
Cc: Vincent Legoll <vincent.legoll <at> gmail.com>
Subject: Re: Filter for issues with(out) patch
Date: Thu, 11 Jul 2024 00:10:28 -0500

> It looks like there's no filter for issues that have (or lack) patches in
> any message.
> 
> I think that would be useful to have in mumi.

Hi Vincent,

I agree! Would you like to send a patch adding that?
-- 
all the best,
jgart

Previous Next

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