isInterestingPush :: EventPayload -> Bool
-- ignore pushes that are the result of a GitHub PR merge using the web interface
isInterestingPush (PushEvent _ _ (Just (PushCommit _ _ (Committer email username _))) _ _)
  = not (email == "noreply@github.com" && username == "web-flow")
isInterestingPush :: EventPayload -> Bool
isInterestingPush (PushEvent _ _ (Just (PushCommit _ _ (Committer email username _))) _ _)
  = not (email == "noreply@github.com" && username == "web-flow")
isInterestingPush (PushEvent _ _ (Just (PushCommit _ _ (Committer email username _))) _ _)
  = not (email == "noreply@github.com" && username == "web-flow")