We scaled the GitHub API with a sharded, replicated rate limiter in Redis | Hacker News Reader