Vincent Legoll wrote 8 months agoRecipients:(name . Bug Guix)(address . bug-guix@gnu.org)Message-ID:CAEwRq=qA=y28EMEB8mGfvaXA5iNXmcVeRUfi7ARWmhvEt=TtHw@mail.gmail.comIt looks like there's no filter for issues that have (or lack) patches inany message.I think that would be useful to have in mumi.-- Vincent LegollAttachment: file
jgart wrote 8 months agoRecipients:(address . 72047@debbugs.gnu.org)(name . Vincent Legoll)(address . vincent.legoll@gmail.com)Message-ID:87msmo7buj.fsf@dismail.deToggle 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 commentCommenting via the web interface is currently disabled.To comment on this conversation send an email to 72047@debbugs.gnu.orgTo respond to this issue using the mumi CLI, first switch to itmumi current 72047Then, you may apply the latest patchset in this issue (with sign off)mumi am -- -sOr, compose a reply to this issuemumi composeOr, send patches to this issuemumi send-email *.patchYou may also tag this issue. See list of standard tags. For example, to set the confirmed and easy tagsmumi command -t +confirmed -t +easyOr, remove the moreinfo tag and set the help tagmumi command -t -moreinfo -t +help