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)