GitHub to rotate keys after credentials in production containers were exposed | Hacker News Reader