Spaces:
Runtime error
Runtime error
log
Browse files
src/gradio_space_ci/webhook.py
CHANGED
|
@@ -145,6 +145,7 @@ background_pool = ThreadPoolExecutor(max_workers=1)
|
|
| 145 |
|
| 146 |
|
| 147 |
def recover_after_restart(space_id: str) -> None:
|
|
|
|
| 148 |
for discussion in get_repo_discussions(repo_id=space_id, repo_type="space"):
|
| 149 |
if discussion.is_pull_request:
|
| 150 |
if discussion.status == "open":
|
|
|
|
| 145 |
|
| 146 |
|
| 147 |
def recover_after_restart(space_id: str) -> None:
|
| 148 |
+
print("Looping through PRs to check if any needs to be synced.")
|
| 149 |
for discussion in get_repo_discussions(repo_id=space_id, repo_type="space"):
|
| 150 |
if discussion.is_pull_request:
|
| 151 |
if discussion.status == "open":
|