The `GHEventPayload.Push` class does not contain a way to get the `GHRepository` that was pushed to despite the [GitHub API sending it](https://developer.github.com/v3/activity/events/types/#pushevent).
The
GHEventPayload.Pushclass does not contain a way to get theGHRepositorythat was pushed to despite the GitHub API sending it.