diff options
| author |  jesopo | 2019-01-03 21:18:40 +0000 |
|---|---|---|
| committer | jesopo | 2019-01-03 21:18:40 +0000 |
| commit | 498352d1acf9141d536091ae415cc196d051719c (patch) | |
| tree | 4ab48620cabbf09267abd3eb21dea6660ecc6c17 /modules/github.py | |
| parent | Print a topic's set at time when we receive a 333 (print_activity.py) (diff) | |
| signature | ||
Support adding github webhooks for an entire "username" (github.py)
Diffstat (limited to 'modules/github.py')
| -rw-r--r-- | modules/github.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/modules/github.py b/modules/github.py index 32536dff..06fbdae6 100644 --- a/modules/github.py +++ b/modules/github.py @@ -47,6 +47,7 @@ class Module(ModuleManager.BaseModule): return "" full_name = data["repository"]["full_name"] + repo_username, repo_name = full_name.split("/", 1) hooks = self.bot.database.channel_settings.find_by_setting( "github-hook") targets = [] @@ -54,7 +55,7 @@ class Module(ModuleManager.BaseModule): repo_hooked = False for i, (server_id, channel_name, hooked_repos) in list( enumerate(hooks))[::-1]: - if full_name in hooked_repos: + if repo_username in hooked_repos or full_name in hooked_repos: repo_hooked = True server = self.bot.get_server(server_id) if server and channel_name in server.channels: |