Fix bug in getting repository name

EESSI · Jun 11, 2024 · 4160bd1 · 4160bd1
1 parent 784c9b9
commit 4160bd1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/eessi_bot_event_handler.py b/eessi_bot_event_handler.py
@@ -638,7 +638,7 @@ def handle_pull_request_closed_event(self, event_info, pr):
         # 2) Get trash_bin_dir from configs
         trash_bin_root_dir = self.cfg[config.SECTION_MERGED_PR][config.MERGED_PR_SETTING_TRASH_BIN_ROOT_DIR]
 
-        repo_name = event_info['repository']['full_name']
+        repo_name = request_body['repository']['full_name']
         dt = datetime.now(timezone.utc)
         trash_bin_dir = "/".join([trash_bin_root_dir, repo_name, dt.strftime('%Y%m%d')])