# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1554052042 -7200
# Node ID 6ac98c4dbbd3440f716d522c88de1746120a2617
# Parent  1fcf3cb7bb5073d8b8e67f0d9ece4ef30355302d
mod_pubsub_github: Get event type from payload (should work with gitlab)

diff -r 1fcf3cb7bb50 -r 6ac98c4dbbd3 mod_pubsub_github/mod_pubsub_github.lua
--- a/mod_pubsub_github/mod_pubsub_github.lua	Sun Mar 31 19:05:48 2019 +0200
+++ b/mod_pubsub_github/mod_pubsub_github.lua	Sun Mar 31 19:07:22 2019 +0200
@@ -58,7 +58,7 @@
 		node = node_prefix .. data.repository[node_mapping];
 	end
 
-	local github_event = request.headers.x_github_event
+	local github_event = request.headers.x_github_event or data.object_kind;
 	if github_event == "push" then
 		module:log("debug", "Handling 'push' event: \n%s\n", tostring(request.body));
 	elseif github_event then