GitHub and the trouble with revoking GPG keys | Hacker News Reader