Merge pull request #70 from commit-0/fix/save

skip failed save
commit-0 · Sep 28, 2024 · e79cdf7 · e79cdf7
2 parents c42ed86 + 65716b3
commit e79cdf7
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/commit0/harness/save.py b/commit0/harness/save.py
@@ -75,7 +75,9 @@ def main(
             origin.push(refspec=f"{branch}:{branch}")
             logger.info(f"Pushed to {github_repo_url} on branch {branch}")
         except Exception as e:
-            raise Exception(f"Push {branch} to {owner}/{repo_name} fails.\n{str(e)}")
+            logger.error(f"Push {branch} to {owner}/{repo_name} fails.\n{str(e)}")
+            continue
+            # raise Exception(f"Push {branch} to {owner}/{repo_name} fails.\n{str(e)}")
 
 
 __all__ = []