Make it possible for release script to reupload an already built release #4660
Labels
component: infrastructure
Issues related to development scripts, CI, servers, etc.
priority: 2 - low
Issues which are currently not very important.
Apparently the GitHub API hates me sometimes (or my connection is just flaky, wouldn't be the first time I upload a release from inside a train).
For those cases, it'd be great if I could tell
build_release.py
to re-upload without building anything.The text was updated successfully, but these errors were encountered: