Skip to content

Commit

Permalink
Fix typo in merged.
Browse files Browse the repository at this point in the history
true -> True
  • Loading branch information
Neves-P committed Jun 10, 2024
1 parent 1c47315 commit 1a6eab3
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion eessi_bot_event_handler.py
Original file line number Diff line number Diff line change
Expand Up @@ -621,7 +621,7 @@ def handle_pull_request_closed_event(self, event_info, pr):
action = request_body['action']
merged = request_body['pull_request']['merged']

if merged == 'true':
if merged == 'True':
self.log("PR merged: scanning directories used by PR")
self.log(f"pull_request event with action '{action}' and merged '{merged}' will be handled")
else:
Expand Down

0 comments on commit 1a6eab3

Please sign in to comment.