The main quickfilter should filter into the groups to find repos.

Issue #707 new
Matt Urch created an issue

It would be nice if the main quickfilter worked to dive into the repo groups to find a specific repo

Comments (1)

  1. Marcin Kuzminski repo owner

    dropdown filter on switch repos already can do that, bo it guess it's a nice addition.

    Note: we can use quick filter from admin pages which can search all repos

  2. Log in to comment