In addition to the search functionality, it would be very helpful for users to filter the displays overview by registration key e.g. show only users from their course by selecting their own registration key or show only the Lighthouse team etc.
And it would be nice, if you could filter by multiple registration-keys at once like show only my course and the Lighthouse team by selecting checkboxes or something similar.
Maybe we also want to filter users by role?
Show only admins or "deploy" users.
The reason for this feature request is that once we migrate the database there are going to be about 1000 users and most of them are inactive. So we might only want to show the users that were active recently.
Another solution (or option) for this problem would be to filter the list of users by their "last-login" date (e.g. last-login in the recent few days/weeks) while querying via the GET /users (either in the backend or the frontend).
Edit: In this case we should make an exception for users that have a permanent API token (for deployed animations/games that are streamed to their own user account)
In addition to the search functionality, it would be very helpful for users to filter the displays overview by registration key e.g. show only users from their course by selecting their own registration key or show only the Lighthouse team etc.
And it would be nice, if you could filter by multiple registration-keys at once like show only my course and the Lighthouse team by selecting checkboxes or something similar.
Maybe we also want to filter users by role?
Show only admins or "deploy" users.
The reason for this feature request is that once we migrate the database there are going to be about 1000 users and most of them are inactive. So we might only want to show the users that were active recently.
Another solution (or option) for this problem would be to filter the list of users by their "last-login" date (e.g. last-login in the recent few days/weeks) while querying via the GET /users (either in the backend or the frontend).
Edit: In this case we should make an exception for users that have a permanent API token (for deployed animations/games that are streamed to their own user account)