G github.blog We scaled the GitHub API with a sharded, replicated rate limiter in Redis 143 points prakhargurunani 5 years ago 21 comments