diff options
| author |  jesopo | 2018-11-17 22:33:31 +0000 |
|---|---|---|
| committer | jesopo | 2018-11-17 22:33:31 +0000 |
| commit | dd47db25f9e667f466d434f34add047f1308eeea (patch) | |
| tree | 89b33d3d25a16ace08b35d197b13c869c941425f /modules/github.py | |
| parent | Allow filtering by github event type (diff) | |
| signature | ||
I forgot that I'd changed how servers keep their list of channels
Diffstat (limited to 'modules/github.py')
| -rw-r--r-- | modules/github.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/modules/github.py b/modules/github.py index 11a828e3..9925bc6a 100644 --- a/modules/github.py +++ b/modules/github.py @@ -48,7 +48,7 @@ class Module(ModuleManager.BaseModule): enumerate(hooks))[::-1]: if full_name in hooked_repos: server = self.bot.get_server(server_id) - if server and server.has_channel(channel_name): + if server and channel_name in server.channels: channel = server.get_channel(channel_name) github_events = channel.get_setting("github-events", DEFAULT_EVENTS) |