From ee65ffe25e7cfa956f6eb4f0bc8c16289d1ac7c9 Mon Sep 17 00:00:00 2001 From: Laurent Peuch Date: Wed, 6 Feb 2019 12:45:31 +0100 Subject: [PATCH] [enh] handle pull_request_review_comment event --- server.py | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/server.py b/server.py index 69e7ba9..a76711e 100644 --- a/server.py +++ b/server.py @@ -179,6 +179,20 @@ async def github(request): notify(f"[{repository}] @{user} {action} milestone {milestone}") + # https://developer.github.com/v3/activity/events/types/#pullrequestreviewcommentevent + elif hook_type == "pull_request_review_comment": + action = request.json["action"] + repository = request.json["repository"]["name"] + user = request.json["sender"]["login"] + pull_request_number = request.json["pull_request"]["number"] + comment = request.json["comment"]["body"] + url = request.json["comment"]["html_url"] + + if len(comment) > 120: + comment = comment[:120] + "..." + + notify(f"[{repository}] @{user} {action} a comment on pull request #{pull_request_number}: {comment} {url}") + return text("ok")