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 > [email protected] > https://lists.genode.org/listinfo/users > _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
