At the moment Pushkin keeps all users and devices in database. Obsolete ones should be archived somehow and removed from login and device tables.
Obsolete user is the user who didn't login for X days, where X should be configurable. Obsolete device is the device which is unreachable (e.g. unregistered).