Allow saving custom filters
!38 (merged) changes all search commands to work using one or more filters.
It might be useful to allow users to define and save their own search commands which are defined as a combination of filters.
Edited by Zubin
Due to a large amount of spam we do not allow new users to create repositories, they are "external" users. If you are a new user and want to create a repository, for example for forking GHC, open a new issue on ghc/ghc using the "get-verified" issue template
!38 (merged) changes all search commands to work using one or more filters.
It might be useful to allow users to define and save their own search commands which are defined as a combination of filters.