Working around GitHub rate limiting.