Added better handling of GitHub API quota in pullrequest.py