add minimal GitHub WebHook ping handling