revisit past discussions

[Martin Stein]

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-with-issues/filtering-and-searching-issues-and-pull-requests

On 14.01.23 21:39, Johnny Nunez wrote:
> 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 at lists.genode.org
> https://lists.genode.org/listinfo/users
>