When uploading release assets, ignore those already uploaded.

tannewt · tannewt · commit 54b03a7476ae · 2019-09-14T13:05:52.000-07:00
diff --git a/tools/upload_release_files.py b/tools/upload_release_files.py
@@ -25,6 +25,9 @@
         with open(full_filename, "rb") as f:
             response = github.post(url, data=f, headers=headers)
         if not response.ok:
+            if response.status_code == 422 and response.json().get("errors", [{"code":""}])[0]["code"] == "already_exists":
+                print("File already uploaded. Skipping.")
+                continue
             print("Upload of {} failed with {}.".format(filename, response.status_code))
             print(response.text)
             sys.exit(response.status_code)
