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

merged is a Bool (?)

eessi_bot_event_handler.py

@@ -621,11 +621,11 @@ 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:
             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:
-            self.log(f"Action '{action}' not handled as merged is '{merged}'")
+            self.log(f"Action '{action}' not handled as 'merged' is '{merged}'")
             return
         # at this point we know that we are handling a new merge
         # NOTE: Permissions to merge are already handled through GitHub, we