GitHubLogger: Fix for PushEvents without repository
After deleting a repository, the GitHubLogger would fail because while the PushEvents where still in the feed, the repository wasn’t. Now if there isn’t one, it’ll say ‘unknown repository’.
Merge pull request #83 from julians/github_logger

GitHubLogger: Fix for PushEvents without repository