Log if release is removed

This commit is contained in:
benniekiss 2024-07-13 21:40:35 +00:00
parent 5eab7772f3
commit c8da55adba

View file

@ -92,6 +92,7 @@ maybe_override() {
if test "$OVERRIDE" = "false"; then if test "$OVERRIDE" = "false"; then
return return
fi fi
echo "Removing existing release for ${TAG}"
api DELETE repos/$REPO/releases/tags/$TAG >& /dev/null || true api DELETE repos/$REPO/releases/tags/$TAG >& /dev/null || true
} }