Reduce GitHub API pull request frequency until a more permanent solution can be found