feat: add search repository on dashboard.

[appleboy]

screen shots:

[lunny]

How about put it in the topbar near the logo, just like github?

[appleboy]

This search bar just like GitHub dashboard.

Login your account and try it out on https://github.com

[appleboy]

Related Gogs Issue comment. gogs/gogs#4028 (comment)

[andreynering]

LGTM

There's a thing that we may consider in the future.

Gitea will show only 15 repos in this box. GitHub do search for all repos, while this patch will search only for those 15 being showed.

[appleboy]

@andreynering Github only shows 20 items and click bottom button to show all repositories.

[appleboy]

Maybe we can change Gitea behavior to load user all reposotories.

[lunny]

LGTM

[gsantner]

@appleboy My 2c:
Nice, thank you for implementing. I would suggest to include some repositories favorited/stared by user.

And also to push up repos in the repo list, if their wiki gets updated by the user. Currently repos only get to top if there were commits to the repo. -> Makes it also appear as search result

[bkcsoft]

Maybe we can change Gitea behavior to load user all reposotories.

Please no. We should have a separate search-function that still limits (paginates) to the set limit :)

[appleboy]

@gsantner The search bar feature has been implemented by #787

[gsantner]

@appleboy Oh, yeah, but not merged to develop, so didn't test. Would the wiki part be much work?

[appleboy]

@gsantner No. not include wiki module.