Don't complain if we can't find a pull request repository.

For example, the repository is set up in github and not kochiku.

This parallels what we are already doing elsewhere in the pull_requests_controller.