From 75b85e76c91899ff376da039f7fb37c8f00e9e2d Mon Sep 17 00:00:00 2001 From: jesopo Date: Wed, 16 Jan 2019 22:36:19 +0000 Subject: [PATCH] Add a channel setting for github webhook event filters (github.py) --- modules/github.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/modules/github.py b/modules/github.py index daca8f1f..d4c9bcec 100644 --- a/modules/github.py +++ b/modules/github.py @@ -37,6 +37,9 @@ COMMENT_ACTIONS = { "validate": utils.bool_or_none}) @utils.export("channelset", {"setting": "github-default-repo", "help": "Set the default github repo for the current channel"}) +@utils.export("channelset", {"setting": "github-events", + "help": "Set event category filters for github webhooks", + "validate": lambda s: s.split("|")}) class Module(ModuleManager.BaseModule): def _parse_ref(self, channel, ref): repo, _, number = ref.rpartition("#")