From 36cadf6fd1cbf83ce0b3099974094f035652e309 Mon Sep 17 00:00:00 2001
From: joshvera <josh@joshvera.com>
Date: Wed, 16 Jan 2019 12:16:57 -0500
Subject: [PATCH] Add owner to RepositoryPush

---
 src/Data/GitHub/Event/RepositoryPush.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Data/GitHub/Event/RepositoryPush.hs b/src/Data/GitHub/Event/RepositoryPush.hs
index 352271cfd..96e283a9b 100644
--- a/src/Data/GitHub/Event/RepositoryPush.hs
+++ b/src/Data/GitHub/Event/RepositoryPush.hs
@@ -24,6 +24,7 @@ data ChangedFile = ChangedFile
 
 data RepositoryPush = RepositoryPush
   { pushRequestContext :: Nested RequestContext
+  , pushOwner          :: Nested User
   , pushActor          :: Nested User
   , pushRepository     :: Nested Repository
   , pushBefore         :: Git.SHA