Unfortunately, the representation of a commit in a PushEvent differs from that of a commit obtained via the Git data API (http://developer.github.com/v3/git/commits/), so we can't reuse the same type (and thus I named it "PushCommit" not "Commit").