fix if repo already deleted

app.py

@@ -18,6 +18,7 @@ from huggingface_hub.repocard import RepoCard
 from requests import HTTPError
 from gradio_webhooks import GradioWebhookApp, WebhookPayload
 from huggingface_hub import login
+from huggingface_hub.utils import RepositoryNotFoundError
 from ui import generate_ui
 from database import is_space_registered
 
@@ -177,7 +178,10 @@ def sync_ci_space(space_id: str, pr_num: int, private: bool) -> None:
 def delete_ci_space(space_id: str, pr_num: int) -> None:
     # Delete
     ci_space_id = _get_ci_space_id(space_id=space_id, pr_num=pr_num)
-    delete_repo(repo_id=ci_space_id, repo_type="space")
+    try:
+        delete_repo(repo_id=ci_space_id, repo_type="space")
+    except RepositoryNotFoundError:
+        pass
 
     # Notify about deletion
     notify_pr(space_id=space_id, pr_num=pr_num, action="delete")