no need to notify if repo already deleted

app.py

@@ -115,6 +115,8 @@ def is_pr_synced(space_id: str, pr_num: int) -> bool:
 
 
 def sync_ci_space(space_id: str, pr_num: int, private: bool) -> None:
+    print(f"New task: sync ephemeral env for {space_id} (PR {pr_num})")
+
     # Create a temporary space for CI if didn't exist
     ci_space_id = _get_ci_space_id(space_id=space_id, pr_num=pr_num)
 
@@ -173,12 +175,15 @@ def sync_ci_space(space_id: str, pr_num: int, private: bool) -> None:
 
 
 def delete_ci_space(space_id: str, pr_num: int) -> None:
+    print(f"New task: delete ephemeral env for {space_id} (PR {pr_num})")
+
     # Delete
     ci_space_id = _get_ci_space_id(space_id=space_id, pr_num=pr_num)
     try:
         delete_repo(repo_id=ci_space_id, repo_type="space")
     except RepositoryNotFoundError:
-        pass
+        # Repo did not exist: no need to notify
+        return
 
     # Notify about deletion
     notify_pr(space_id=space_id, pr_num=pr_num, action="delete")