From fccf8db0990d584b17d393a465a802b07e1b2547 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Sun, 10 Mar 2024 08:41:14 +0530 Subject: [PATCH] GitHub returns errors on delete but actually deletes --- publish.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/publish.py b/publish.py index f668085a6..68fc6342e 100755 --- a/publish.py +++ b/publish.py @@ -370,7 +370,7 @@ def upload_with_retries(path: str, desc: str, num_tries: int = 8, sleep_time: fl if self.is_nightly: for fname in tuple(assets_by_fname): self.info(f'Deleting {fname} from GitHub with id: {assets_by_fname[fname]["id"]}') - delete_asset(assets_by_fname.pop(fname), allow_not_found=False) + delete_asset(assets_by_fname.pop(fname)) for path, desc in self.files.items(): self.info('') upload_with_retries(path, desc)