KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Retry failed deletes from github

Browse Source
This commit is contained in:
Kovid Goyal 2022-12-29 12:50:16 +05:30
parent e673747ef4
commit b8abdd2b50
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
publish.py
View File

@ -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)