Avoiding GitHub API rate limiting.