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’.