Currently, this is done manually upon request to [email protected]

We require & will continue to require the end user to first uninstall the Polar GitHub App in case they have it installed. It will then automatically trigger soft deletion of repositories etc on our end.

For the account/organization itself the manual approach is the following to be reproduced as a feature in the future.

• Set deleted_at for the user/organization
• Update PII record with hashlib.md5().update(b'<text>').hexdigest()
• Set empty GitHub profile JSON in users table, e.g empty strings for PII and 0 for stats (public repos etc)
• In case of email it's the above with @deleted.com as suffix
• Change avatar_url to https://avatars.githubusercontent.com/u/105373340?s=48&v=4 (Polar logo)

import hashlib

def h(value: str) -> str:
   is_email = '@' in value
   ret = hashlib.md5()
   ret.update(value.encode('utf-8'))
   return ret.hexdigest()