Handled null repo, the case where a user deletes the repo referenced in ...

...the pull request.  Fixes #16.