Add owner to RepositoryPush

2024-12-24 23:42:31 +03:00 · 2019-01-16 12:16:57 -05:00 · 2019-01-16 12:16:57 -05:00 · 36cadf6fd1
commit 36cadf6fd1
parent bcc026c12b
1 changed files with 1 additions and 0 deletions
--- 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