diff options
| author |  jesopo | 2018-12-09 19:36:23 +0000 |
|---|---|---|
| committer | jesopo | 2018-12-09 19:36:23 +0000 |
| commit | de60d245b59ec18f5e247bf6bfaaaf80f559160b (patch) | |
| tree | 0cb80441fd3f510ea703694f6903573bcea1921b /modules | |
| parent | By the time we take ref counts, we've already removed `module` from (diff) | |
| signature | ||
Show newly added labels when a pull request is labeled
Diffstat (limited to 'modules')
| -rw-r--r-- | modules/github.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/modules/github.py b/modules/github.py index 515b4180..9c6ccd13 100644 --- a/modules/github.py +++ b/modules/github.py @@ -177,6 +177,8 @@ class Module(ModuleManager.BaseModule): utils.consts.RED) elif action == "synchronize": action_desc = "committed to" + elif action == "labeled": + action_desc = "labeled as '%s'" % data["pull_request"]["labels"][-1] pr_title = data["pull_request"]["title"] author = utils.irc.bold(data["sender"]["login"]) |