Bulk delete users from /admin/users page

Problem to solve

Problem: Deleting more than 1 user at a time is extremely cumbersome. I want the ability to bulk delete users in Admin UI

Intended users

Gitlab Administrators

Further details

I am running Gitlab for basic usage of myself and a few friends, but I see many users I don't know signing up who I want to delete.

Proposal

Some sort of checkbox-trash UI like Gmail has might be able to do it.

Permissions and Security

Admin only

Documentation

No new pages are required, but this will require changes to the /admin/users route.

Testing

The /admin/users page will become more complicated with 2 modes (bulk delete) and normal mode. Switching between the modes should be tested extensively.

What does success look like, and how can we measure that?

Success : delete multiple users without clicking and confirming 5000 times.

Links / references