From b8abdd2b507b66a7b23505f8273f3b88e6b8d573 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Thu, 29 Dec 2022 12:50:16 +0530 Subject: [PATCH] Retry failed deletes from github --- publish.py | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/publish.py b/publish.py index 7734c2203..3bcc18847 100755 --- a/publish.py +++ b/publish.py @@ -287,9 +287,12 @@ class GitHub(Base): # {{{ existing_assets = self.existing_assets(release['id']) def delete_asset(asset_id: str) -> None: - r = self.requests.delete(asset_url.format(asset_id)) - if r.status_code not in (204, 404): - self.fail(r, f'Failed to delete {fname} from GitHub') + for i in range(5): + r = self.requests.delete(asset_url.format(asset_id)) + if r.status_code in (204, 404): + return + time.sleep(1) + self.fail(r, f'Failed to delete {fname} from GitHub') def upload_with_retries(path: str, desc: str, num_tries: int = 4, sleep_time: float = 10.0) -> None: fname = os.path.basename(path)