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

Apparently github's deletion api is flakey, retry

Browse Source
This commit is contained in:
Kovid Goyal 2022-11-20 07:18:38 +05:30
parent fd7cc66689
commit c6dd6ccc68
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
publish.py
View File

@ -285,6 +285,7 @@ class GitHub(Base): # {{{
upload_url = release['upload_url'].partition('{')[0]
asset_url = f'{self.url_base}/assets/{{}}'
existing_assets = self.existing_assets(release['id'])
original_existing_assets = existing_assets.copy()
def delete_asset(asset_id: str) -> None:
r = self.requests.delete(asset_url.format(asset_id))
@ -317,10 +318,9 @@ class GitHub(Base): # {{{
try:
asset_id = r.json()['id']
except Exception:
pass
else:
self.info(f'Deleting {fname} from GitHub with id: {asset_id}')
delete_asset(asset_id)
asset_id = original_existing_assets[fname]
self.info(f'Deleting {fname} from GitHub with id: {asset_id}')
delete_asset(asset_id)
time.sleep(sleep_time)
if self.is_nightly: