Merge pull request #6 from Neves-P/feature/disk_cleanup

Feature/disk cleanup
EESSI · Jun 11, 2024 · fd3912e · fd3912e
2 parents 7b98722 + b1dfd1d
commit fd3912e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/eessi_bot_event_handler.py b/eessi_bot_event_handler.py
@@ -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: