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