user-management: follow-up fixes (!40339) · Merge requests · Warren Gifford / sourcegraph · GitLab

Warren Gifford requested to merge erzhtor/user-management-fixes into main Aug 15, 2022

Created by: erzhtor

This PR:

Update "Events" and "Last Active" table header tooltips
Filter deleted users from "Administrators" metrics
Update UserManagement table date time formatting
Add searching over primary email
Add a link to the user profile on the username field if the user is not deleted
- Add display name to the User column and minor style updates

Test plan

sg start
Open http://localhost:3080/site-admin/users?feature-flag-key=user-management&feature-flag-value=true

Screenshots

BEFORE	AFTER