Quick and dirty repo filtering in the add repo page