diff options
| author |  jesopo | 2018-11-07 19:21:59 +0000 |
|---|---|---|
| committer | jesopo | 2018-11-07 19:21:59 +0000 |
| commit | 66a904b5aa9317dc32eca6e39a4f88c6380cacef (patch) | |
| tree | 2bc871313af9144be4baca06f6f6f4d87a7f8d13 /modules/github.py | |
| parent | Color "merged" and "closed without merging" in green and red respectively (diff) | |
| signature | ||
don't show pull request review events when they're "commented"
Diffstat (limited to 'modules/github.py')
| -rw-r--r-- | modules/github.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/modules/github.py b/modules/github.py index e051192c..8401dd36 100644 --- a/modules/github.py +++ b/modules/github.py @@ -109,6 +109,9 @@ class Module(ModuleManager.BaseModule): (full_name, pr_number, author, action_desc, pr_title, url)] def pull_request_review(self, event, full_name, data): + if data["review"]["state"] == "commented": + return [] + action = data["action"] pr_number = data["pull_request"]["number"] pr_title = data["pull_request"]["title"] |