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-a...

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@lists.genode.org https://lists.genode.org/listinfo/users