The source project of this merge request has been removed.
Add an internal API to get info on user by userID
Add an internal API to get info on user by userID.
It is only to get the merge request gitlab-shell!2 (closed) on gitlab-shell to work. (commit https://gitlab.com/wargre/gitlab-shell/commit/1931e6df234236ac71e66d8d4a66b31e250408b1)