mirror of
https://gitea.com/gitea/tea.git
synced 2024-12-22 09:05:06 +01:00
cbd1bccbf9
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> |
||
---|---|---|
.. | ||
issue.go | ||
list.go | ||
login.go | ||
markdown.go | ||
milestone.go | ||
print.go | ||
pull.go | ||
repo.go | ||
times.go |