intuitive user search
Description
For me, it would be very helpful to have a dedicated user search in our large Gitlab instance. Often, I want to quickly add some remote Siemens colleague in a single question/discussion (issue, merge request, ...) without the need to add her/him as member in the current project/group (to save time and/or to avoid confusing him why he has been added to project X he has no time to participate in).
My current process is: open an additional tab, go to some project's settings, mis-use the auto-completion of the "add user" field to find her/his username, then manually go to my-server/u/username to double-check in the profile whether this is the person I meant and finally enter her/his username in my comment.
Or did I overlook something?
Proposal
I would really welcome a dedicated user search, be it via the global search field or an additional "browse users" page which would bring up a list of people for some search term (matching real name or username) with links to their profile pages (to check which "Paul Smith" is the correct one).
Ideally, search could provide an auto-completion showing department and/or location.