If the user revokes the access token granted to the GitHub importer and then tries to do another import, it fails with a generic message (general failed email to user, generic 401: Unauthorized to engr). It will continue to fail until the bad token is cleared but there is no way to do that other than directly updating the user record in mongo.
Fix on branch db/6876
Clear to merge.