[search result page] show repo name instead of repo ID (#4395)
[search result page] show repo name instead of repo ID (#4395)

* [search result page] show repo name instead of repo ID

* [search result page] updated text

miurahr/seahub,miurahr/seahub,miurahr/seahub,miurahr/seahub