The real life script runs a cron job and caches the keys for all users in a group. It always does a sanity check on the user, but if that fails it still allows

The real life script runs a cron job and caches the keys for all users in a group. It always does a sanity check on the user, but if that fails it still allows that user to login (because we all know GitHub goes down) if they have cached keys.