Skip to content

Commit

Permalink
improve comment and remove unused code
Browse files Browse the repository at this point in the history
Co-authored-by: Pedro Santos Neves <[email protected]>
  • Loading branch information
trz42 and Neves-P authored Aug 20, 2024
1 parent 3add12a commit e14fe10
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions eessi_bot_event_handler.py
Original file line number Diff line number Diff line change
Expand Up @@ -621,9 +621,8 @@ def handle_pull_request_closed_event(self, event_info, pr):
PyGithub, not the github from the internal connections module)
"""

# Detect event and only act if PR is merged
# Detect event and report if PR was merged or closed
request_body = event_info['raw_request_body']
action = request_body['action']
# next value: True -> PR merged, False -> PR closed
mergedOrClosed = request_body['pull_request']['merged']
status = "merged" if mergedOrClosed else "closed"
Expand Down

0 comments on commit e14fe10

Please sign in to comment.