Include Push events in the cabal file.

semantic.cabal

@@ -82,6 +82,8 @@ library
                      , Data.Functor.Both
                      , Data.Functor.Classes.Generic
                      , Data.GitHub.Auth
+                     , Data.GitHub.Event.Push
+                     , Data.GitHub.Git
                      , Data.GitHub.IPVersion
                      , Data.GitHub.Timestamp
                      , Data.GitHub.Request.Context

src/Data/GitHub/Event/Push.hs

@@ -1,6 +1,6 @@
 {-# LANGUAGE DeriveAnyClass #-}
 
-module Data.GitHub.Events.Push
+module Data.GitHub.Event.Push
   ( RepositoryPush (..)
   ) where
 
@@ -8,9 +8,9 @@ import Prologue
 
 import Proto3.Suite
 
+import qualified Data.GitHub.Git as Git
 import Data.GitHub.Request.Context
-
-newtype SHA = SHA { shaContents :: Text }
+import Data.GitHub.User
 
 data ChangedFile = ChangedFile
   { filePreviousOID  :: Git.OID
@@ -23,8 +23,8 @@ data ChangedFile = ChangedFile
 data RepositoryPush = RepositoryPush
   { pushRequestContext :: Nested RequestContext
   , pushActor          :: Nested User
-  , pushBefore         :: SHA
-  , pushAfter          :: SHA
+  , pushBefore         :: Git.SHA
+  , pushAfter          :: Git.SHA
   , pushRef            :: Text
   , pushChangedFiles   :: NestedVec ChangedFile
   } deriving (Eq, Show, Generic, Message, Named)

src/Data/GitHub/Git.hs

@@ -0,0 +1,18 @@
+{-# LANGUAGE DerivingStrategies, GeneralizedNewtypeDeriving #-}
+
+module Data.GitHub.Git
+  ( OID (..)
+  , SHA (..)
+  ) where
+
+import Prologue
+
+import Proto3.Suite
+
+newtype OID = OID Text
+  deriving stock (Eq, Show, Ord)
+  deriving newtype (MessageField, Primitive)
+
+newtype SHA = SHA Text
+  deriving stock (Eq, Show, Ord)
+  deriving newtype (MessageField, Primitive)