Request group search feature in /hub/admin

[ryanlovett]

Proposed change

Our authenticator provides info about users' groups. A hub may see upwards of 1000 groups, and if an admin wants to browse information about one of them and/or set its group properties, they must page through the list 50 at a time. It would be very helpful if the group page had a search feature like the user page does.

Alternative options

As a workaround, I have a notebook with some code that queries the hub api. This is not optimal for people who are not familiar with APIs and are more comfortable using the GUI interface.

Who would use this feature?

Admins of hubs with lots of groups.

(Optional): Suggest a solution

Perhaps write an analogous function to setNameFilter (or adapt/parameterize the existing one) and an analogous reducer action for GROUP_NAME_FILTER.