GitHub user that takes the place of user accounts that have been deletedgithub.com3 pointskinduff5 years ago