General search in navbar

[anbraten]

Users are sometimes searching for repos, orgs, other users or setting pages.

The idea would be to first add an api endpoint for searching.

This api endpoint would be capable of searching for different types (repo,user,org) or all together.

The UI would get a search bar in the middle of the navbar. When a user searches for sth it will request the api endpoint and add local search results with pages like admin settings or user profile.

The top x results will be shown with an icon (indicating the type repo,user,org, settings-page) and a title. By clicking on one of the suggestions the user will be redirected to the corresponding page.