From 4000479cf0bab5e3a33c75844c85e5da9dd44acc Mon Sep 17 00:00:00 2001 From: jesopo Date: Wed, 7 Nov 2018 08:23:07 +0000 Subject: [PATCH] Better show when a PR is merged or not merged when closingd --- modules/github.py | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/modules/github.py b/modules/github.py index d7f1d427..45b29161 100644 --- a/modules/github.py +++ b/modules/github.py @@ -93,12 +93,17 @@ class Module(ModuleManager.BaseModule): def pull_request(self, event, full_name, data): action = data["action"] + action_desc = action + if action == "closed": + merged = data["pull_request"]["merged"] + action_desc = "merged" if merged else "closed without merging" + pr_number = data["pull_request"]["number"] pr_title = data["pull_request"]["title"] author = data["sender"]["login"] url = data["pull_request"]["html_url"] return ["(%s) [pr#%d] %s %s: %s - %s" % - (full_name, pr_number, author, action, pr_title, url)] + (full_name, pr_number, author, action_desc, pr_title, url)] def pull_request_review(self, event, full_name, data): action = data["action"]