Merge branch 'master' into add-repo-search-improve-listing-closes-#210
Merge branch 'master' into add-repo-search-improve-listing-closes-#210
fixup! repos list: client side filtering for repo type
fix --private flag
repos list: client side filtering for repo type
repos list: listing of starred repos
repos search: rename --mode to --type
repo search: prioritize own user
UX tradeoff between usefulness & response speed
fix -O owner flag filter
rework repo list, add repo search
repo search is mostly the old behaviour of repo list
Co-authored-by: Lunny Xiao <xiaolunwen@gmail.com>
Co-authored-by: Norwin Roosen <git@nroo.de>
Reviewed-on: https://gitea.com/gitea/tea/pulls/215
Reviewed-by: 6543 <6543@noreply.gitea.io>
Reviewed-by: Lunny Xiao <xiaolunwen@gmail.com>