How we scaled the GitHub API with a sharded, replicated rate limiter in Redisgithub.blog4 pointspimterry5 years ago