juju/jenkins-github-lander — pull request #17 by bac (2014-07-30 19:27:19+00:00)
Title: Handled null repo, the case where a user deletes the repo referenced in ...

...the pull request. Fixes #16.