# HG changeset patch # User Kim Alvefur # Date 1554052223 -7200 # Node ID 3bece2db869c4647f602ff1f32e3a6f0b8dcc69b # Parent 552d4944d1ca4848073a43768e4fa7d816f1b885 mod_pubsub_github: Assume unspecified event is 'push' if there are commits in payload diff -r 552d4944d1ca -r 3bece2db869c mod_pubsub_github/mod_pubsub_github.lua --- a/mod_pubsub_github/mod_pubsub_github.lua Sun Mar 31 19:08:43 2019 +0200 +++ b/mod_pubsub_github/mod_pubsub_github.lua Sun Mar 31 19:10:23 2019 +0200 @@ -59,6 +59,9 @@ end local github_event = request.headers.x_github_event or data.object_kind; + if not github_event and data.commits then + github_event = "push"; -- curl? + end module:log("debug", "Handling '%s' event: \n%s\n", github_event, tostring(request.body)); if github_event == "push" then