Merge pull request micropython#2155 from tannewt/ignore_existing_files

tannewt · web-flow · commit 78318ae441b5 · 2019-09-14T13:43:29.000-07:00
When uploading release assets, ignore those already uploaded.
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)
