Filter for issues with(out) patch

  • Open
  • quality assurance status badge
Details
2 participants
  • jgart
  • Vincent Legoll
Owner
unassigned
Submitted by
Vincent Legoll
Severity
normal
V
V
Vincent Legoll wrote on 10 Jul 2024 22:33
(name . Bug Guix)(address . bug-guix@gnu.org)
CAEwRq=qA=y28EMEB8mGfvaXA5iNXmcVeRUfi7ARWmhvEt=TtHw@mail.gmail.com
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
Attachment: file
J
J
jgart wrote on 11 Jul 2024 07:10
(address . 72047@debbugs.gnu.org)(name . Vincent Legoll)(address . vincent.legoll@gmail.com)
87msmo7buj.fsf@dismail.de
Toggle quote (5 lines)
> 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
?
Your comment

Commenting via the web interface is currently disabled.

To comment on this conversation send an email to 72047@debbugs.gnu.org

To respond to this issue using the mumi CLI, first switch to it
mumi current 72047
Then, you may apply the latest patchset in this issue (with sign off)
mumi am -- -s
Or, compose a reply to this issue
mumi compose
Or, send patches to this issue
mumi send-email *.patch