From a2070311a00cfb9130ca05df96a67b195d763e9c Mon Sep 17 00:00:00 2001 From: rsundahl Date: Thu, 25 Jan 2018 20:48:37 -0800 Subject: [PATCH] Explicitly delete the tag when replacing a release. --- release.sh | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/release.sh b/release.sh index e2b3318..d6b169d 100755 --- a/release.sh +++ b/release.sh @@ -17,6 +17,10 @@ echo "delete-release-asset:\n$delete_release_asset\n" delete_release_by_tag=$(pv github delete-release-by-tag $REPOSITORY $RELEASE_TAG) echo "delete-release-by-tag:\n$delete_release_by_tag\n" +# Delete the tag so it's not stuck at the last release with the same name +delete_tag=$(pv github delete-tag $REPOSITORY $RELEASE_TAG) +echo "delete-tag:\n$delete_tag\n" + # (Re-)create the release and upload the library binary file asset create_release=$(pv github create-release $REPOSITORY $RELEASE_TAG) echo "create-release:\n$create_release\n"