diff options
-rwxr-xr-x | scripts/dev/build_release.py | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/scripts/dev/build_release.py b/scripts/dev/build_release.py index 7e7e6051f..5ca28e925 100755 --- a/scripts/dev/build_release.py +++ b/scripts/dev/build_release.py @@ -431,6 +431,14 @@ def github_upload(artifacts, tag): utils.print_col('Failed to upload: {}'.format(e), 'red') print("Press Enter to retry...") input() + print("Retrying!") + + assets = [asset for asset in release.assets() + if asset.name == basename] + if assets: + asset = assets[0] + print("Deleting stray asset {}".format(asset.name)) + asset.delete() else: break asset.edit(basename, description) |