Re: revisit past discussions

Hi Johnny , I was talking only about Github. I'm not experienced with the mail archive as I have no need for it. But I'm glad you found a solution. Cheers, Martin On 23.01.23 05:13, Johnny Nunez wrote: > Hi Martin, > >   > > Maybe this is the link you mention: users (mail-archive.com) >

Re: revisit past discussions

Hi Martin, Maybe this is the link you mention: users (mail-archive.com) ___ Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users

Re: revisit past discussions

Hi, Martin Thanks you ___ Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users

Re: revisit past discussions

Hi Johnny, If you go to https://github.com/genodelabs/genode/issues, there is a search bar with preset "is:issue is:open". Just change that to "is:issue is:closed TERMS" where TERMS are the terms you'd like to filter for. For more, see [1]. [1] https://docs.github.com/en/issues/tracking-your-work

revisit past discussions

is there a way to filter 4,360 Closed Issues in the github repository? same thing in the mailing list's online archive dating back July 2008? ___ Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users